Model verification framework with application to molecular biology

Valeria Perelman, Judith Somekh, Dov Dori. Model verification framework with application to molecular biology. In Gabriel Andrés Wainer, Mamadou K. Traoré, Reiko Heckel, Jan Himmelspach, editors, 2011 Spring Simulation Multi-conference, SpringSim '11, Boston, MA, USA, April 03-07, 2011. Volume 4: Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium (TMS-DEVS). pages 140-145, SCS/ACM, 2011. [doi]

Abstract

Abstract is missing.