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

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

[AIP COMPUTATIONAL MODELS FOR LIFE SCIENCES/CMLS '07 -  ()] AIP Conference Proceedings - Verification of biological models with Timed Hybrid Petri Nets

[AIP COMPUTATIONAL MODELS FOR LIFE SCIENCES/CMLS '07 - ()] AIP Conference Proceedings - Verification of biological models with Timed Hybrid Petri Nets

Troncale, S.; Comet, J.-P.; Bernot, G.; Pham, Tuan D.; Zhou, Xiaobo
  • 作者Troncale, S.; Comet, J.-P.; Bernot, G.; Pham, Tuan D.; Zhou, Xiaobo
  • 卷第952卷
  • 文件大小688.87KB
  • 发表时间2007
  • DOI10.1063/1.2816633
  • 页码287-296
← 返回【学霸图书馆】主页