共 50 条
- [4] Formal Methods in Cell Biology [J]. Proceedings of the 12th Conference on Formal Methods in Computer-Aided Design (FMCAD 2012), 2012, : 1 - 1
- [5] Editorial: Formal methods and testing [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2002, 12 (02): : 69 - 70
- [6] Formal methods - Guest editorial [J]. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2007, 13 (05) : 593 - 601
- [10] Computational methods in synthetic biology [J]. Biotechnology Journal, 2009, 4 (10) : 1392 - 1405