On verifying Bio-PEPA models

Proceedings of the 8th International Conference on Computational Methods in Systems Biology - CMSB '10 ◽

10.1145/1839764.1839769 ◽

2010 ◽

Author(s):

Allan Clark ◽

Stephen Gilmore ◽

Maria Luisa Guerriero ◽

Peter Kemper

Download Full-text