Sciweavers

6 search results - page 2 / 2
» A High-Level Petri Net Framework for Genetic Regulatory Netw...
Sort
View
FM
2009
Springer
138views Formal Methods» more  FM 2009»
13 years 12 months ago
What Can Formal Methods Bring to Systems Biology?
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, E...