Ezio Bartocci, Flavio Corradini, Radu Grosu, Emanuela Merelli, Oliviero Riganelli, Scott A. Smolka. StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes. In Pierpaolo Degano, Rocco De Nicola, José Meseguer, editors, Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. Volume 5065 of Lecture Notes in Computer Science, pages 493-502, Springer, 2008. [doi]
@inproceedings{BartocciCGMRS08,
title = {StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes},
author = {Ezio Bartocci and Flavio Corradini and Radu Grosu and Emanuela Merelli and Oliviero Riganelli and Scott A. Smolka},
year = {2008},
doi = {10.1007/978-3-540-68679-8_30},
url = {http://dx.doi.org/10.1007/978-3-540-68679-8_30},
tags = {modeling},
researchr = {https://researchr.org/publication/BartocciCGMRS08},
cites = {0},
citedby = {0},
pages = {493-502},
booktitle = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday},
editor = {Pierpaolo Degano and Rocco De Nicola and José Meseguer},
volume = {5065},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-68676-7},
}