Mobile
Log In Sign Up
Home > english-chinese > "adls" in Chinese

Chinese translation for "adls"

服务器而能实现宽带
桑黑雪
Example Sentences:
1.The workshop on tools and algorithms for the construction and analysis of systems tacas 99 , lncs , springer - verlag , 1999 , 1579 : 193 - 207 . 4 burch j r , clarke e m , mcmillan k l . symbolic model checking : 10 20 states and beyond . information and computation , rm 1992 , 98 : 142 - 170
在这本文中,我们通过对kripke结构的合理扩充,提供了直接模型检测dmc direct model checking的矩阵算法,通过与体系结构描述语言adls的结合, dmc可以被直接应用在相容性consistency等关键性质的计算方面。
Similar Words:
"adlouny" Chinese translation, "adlova" Chinese translation, "adlovits" Chinese translation, "adlr australia dollar" Chinese translation, "adlrey" Chinese translation, "adlt" Chinese translation, "adlt adult" Chinese translation, "adlteration" Chinese translation, "adltova" Chinese translation, "adlum" Chinese translation