[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