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

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

[IEEE 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE) - Silicon Valley, CA, USA (2013.11.11-2013.11.15)] 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Software model checking for distributed systems with selector-based, non-blocking communication

[IEEE 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE) - Silicon Valley, CA, USA (2013.11.11-2013.11.15)] 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Software model checking for distributed systems with selector-based, non-blocking communication

Artho, Cyrille; Hagiya, Masami; Potter, Richard; Tanabe, Yoshinori; Weitl, Franz; Yamamoto, Mitsuharu
  • 作者Artho, Cyrille; Hagiya, Masami; Potter, Richard; Tanabe, Yoshinori; Weitl, Franz; Yamamoto, Mitsuharu
  • 文件大小253.16KB
  • 发表时间2013
  • DOI10.1109/ase.2013.6693077
  • 页码169-179
同作者推荐
← 返回【学霸图书馆】主页
© 2026 学霸图书馆 · 让阅读成为习惯