What can formal methods bring to systems biology?

Research output: Contribution to Journal › Article › Academic › peer-review

335 Downloads (Pure)

Original language	English
Pages (from-to)	16-22
Journal	Lecture Notes in Computer Science
Volume	5850
DOIs	https://doi.org/10.1007/978-3-642-05089-3_2
Publication status	Published - 2009

Proceedings title: Proc. 16th Symposium on Formal Methods - FM'09
Publisher: Springer

Access to Document

@article{e21d7a79e6014a288215b3f33e119fa1,

title = "What can formal methods bring to systems biology?",

author = "N. Bonzanni and K.A. Feenstra and W.J. Fokkink and E. Krepska",

note = "Proceedings title: Proc. 16th Symposium on Formal Methods - FM'09 Publisher: Springer",

year = "2009",

doi = "10.1007/978-3-642-05089-3\_2",

language = "English",

volume = "5850",

pages = "16--22",

journal = "Lecture Notes in Computer Science",