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

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

The reactive simulatability (RSIM) framework for asynchronous systems

The reactive simulatability (RSIM) framework for asynchronous systems

Michael Backes; Birgit Pfitzmann; Michael Waidner
  • 作者Michael Backes; Birgit Pfitzmann; Michael Waidner
  • 卷第205卷
  • 期第12期
  • 印刷ISSN0890-5401
  • 电子ISSN1090-2651
  • 文件大小515.57KB
  • 发表时间2007
  • DOI10.1016/j.ic.2007.05.002
  • 页码1685-1720
← 返回【学霸图书馆】主页