What Can Formal Methods Bring to Systems Biology?

Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, Elzbieta Krepska. What Can Formal Methods Bring to Systems Biology?. In Ana Cavalcanti, Dennis Dams, editors, FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings. Volume 5850 of Lecture Notes in Computer Science, pages 16-22, Springer, 2009. [doi]

Abstract

Abstract is missing.