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

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

[IEEE Distributed Methods in Verification and 2nd Intl Wkshp on High Performance Computational Systems Biology (PDMC-HiBi) - Enschede, TBD, Netherlands (2010.09.30-2010.10.1)] 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology - Industrial Strength Distributed Explicit State Model Checking

[IEEE Distributed Methods in Verification and 2nd Intl Wkshp on High Performance Computational Systems Biology (PDMC-HiBi) - Enschede, TBD, Netherlands (2010.09.30-2010.10.1)] 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology - Industrial Strength Distributed Explicit State Model Checking

Bingham, Brad; Bingham, Jesse; Paula, Flavio M. de; Erickson, John; Singh, Gaurav; Reitblatt, Mark
  • 作者Bingham, Brad; Bingham, Jesse; Paula, Flavio M. de; Erickson, John; Singh, Gaurav; Reitblatt, Mark
  • 文件大小1667.53KB
  • 发表时间2010
  • DOI10.1109/pdmc-hibi.2010.13
  • 页码28-36
同作者推荐
同期刊推荐
← 返回【学霸图书馆】主页
© 2026 学霸图书馆 · 让阅读成为习惯