发现好书期刊,享受阅读乐趣

海量图书期刊资源,随时随地畅享阅读乐趣

Property verification of asynchronous systems

Property verification of asynchronous systems

Antonio Cerone; George J. Milne
  • 作者Antonio Cerone; George J. Milne
  • 卷第1卷
  • 期第1期
  • 印刷ISSN1614-5046
  • 电子ISSN1614-5054
  • 文件大小355.30KB
  • 发表时间2005-04
  • DOI10.1007/s11334-005-0002-4
  • 页码25-40
← 返回【学霸图书馆】主页