Radu Grosu, Grégory Batt, Flavio H. Fenton, James Glimm, Colas Le Guernic, Scott A. Smolka, Ezio Bartocci. From Cardiac Cells to Genetic Regulatory Networks. In Ganesh Gopalakrishnan, Shaz Qadeer, editors, Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings. Volume 6806 of Lecture Notes in Computer Science, pages 396-411, Springer, 2011. [doi]
@inproceedings{GrosuBFGGSB11,
title = {From Cardiac Cells to Genetic Regulatory Networks},
author = {Radu Grosu and Grégory Batt and Flavio H. Fenton and James Glimm and Colas Le Guernic and Scott A. Smolka and Ezio Bartocci},
year = {2011},
doi = {10.1007/978-3-642-22110-1_31},
url = {http://dx.doi.org/10.1007/978-3-642-22110-1_31},
researchr = {https://researchr.org/publication/GrosuBFGGSB11},
cites = {0},
citedby = {0},
pages = {396-411},
booktitle = {Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
editor = {Ganesh Gopalakrishnan and Shaz Qadeer},
volume = {6806},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-22109-5},
}