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

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

[IEEE 2014 Formal Methods in Computer-Aided Design (FMCAD) - Lausanne, Switzerland (2014.10.21-2014.10.24)] 2014 Formal Methods in Computer-Aided Design (FMCAD) - Synthesis of synchronization using uninterpreted functions

[IEEE 2014 Formal Methods in Computer-Aided Design (FMCAD) - Lausanne, Switzerland (2014.10.21-2014.10.24)] 2014 Formal Methods in Computer-Aided Design (FMCAD) - Synthesis of synchronization using uninterpreted functions

Bloem, Roderick; Hofferek, Georg; Konighofer, Bettina; Konighofer, Robert; Auserlechner, Simon; Spork, Raphael
  • 作者Bloem, Roderick; Hofferek, Georg; Konighofer, Bettina; Konighofer, Robert; Auserlechner, Simon; Spork, Raphael
  • 文件大小750.59KB
  • 发表时间2014
  • DOI10.1109/fmcad.2014.6987593
  • 页码35-42
同作者推荐
同出版社推荐
← 返回【学霸图书馆】主页
© 2026 学霸图书馆 · 让阅读成为习惯