%0 Conference Paper %1 conf/hybrid/IslamMGSG14 %A Islam, Md. Ariful %A Murthy, Abhishek %A Girard, Antoine %A Smolka, Scott A. %A Grosu, Radu %B HSCC %D 2014 %E Fränzle, Martin %E Lygeros, John %I ACM %K dblp %P 243-252 %T Compositionality results for cardiac cell dynamics. %U http://dblp.uni-trier.de/db/conf/hybrid/hscc2014.html#IslamMGSG14 %@ 978-1-4503-2732-9

@inproceedings{conf/hybrid/IslamMGSG14, added-at = {2018-11-06T00:00:00.000+0100}, author = {Islam, Md. Ariful and Murthy, Abhishek and Girard, Antoine and Smolka, Scott A. and Grosu, Radu}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2062c288889614254ba85bf109f0f55c0/dblp}, booktitle = {HSCC}, crossref = {conf/hybrid/2014}, editor = {Fränzle, Martin and Lygeros, John}, ee = {https://doi.org/10.1145/2562059.2562138}, interhash = {e7d63a518b591a4582c3bddc919561c5}, intrahash = {062c288889614254ba85bf109f0f55c0}, isbn = {978-1-4503-2732-9}, keywords = {dblp}, pages = {243-252}, publisher = {ACM}, timestamp = {2019-09-27T21:21:40.000+0200}, title = {Compositionality results for cardiac cell dynamics.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2014.html#IslamMGSG14}, year = 2014 }