The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models

New York, NY / Springer New York (2019) [Contribution to a book, Contribution to a conference proceedings]

Modeling Biomolecular Site Dynamics : Methods and Protocols
Page(s): 69-92

Authors

Selected Authors

Hahn, Ernst Moritz
Hartmanns, Arnd
Hensel, Hans Christian
Klauck, Michaela
Klein, Joachim

Other Authors

Křetínský, Jan
Parker, David
Quatmann, Tim
Ruijters, Enno
Steinmetz, Marcel

Identifier