Formal methods for computational systems biology. 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 Bertinoro, Italy, June 2--7, 2008. Advanced lectures
DOI10.1007/978-3-540-68894-5zbMath1137.68302OpenAlexW2492921849MaRDI QIDQ925313
No author found.
Publication date: 3 June 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-68894-5
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Computing methodologies and applications (68U99) Proceedings, conferences, collections, etc. pertaining to biology (92-06)
Related Items (27)
This page was built for publication: Formal methods for computational systems biology. 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 Bertinoro, Italy, June 2--7, 2008. Advanced lectures