BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @inproceedings{TUW-234597, author = {Grosu, Radu and Islam, Ariful and Murthy, Abhishek and Girard, Antoine and Smolka, Scott A.}, title = {Compositionality Results for Cardiac Cell Dynamics}, booktitle = {Proc. of HSCC'14, the 17th International Conference on Hybrid Systems: Computation and Control}, year = {2014}, pages = {243--252}, url = {http://ti.tuwien.ac.at/cps/people/grosu/files/biotechno14.pdf}, isbn = {978-1-4503-2732-9}, note = {talk: HSCC'14, the 17th International Conference on Hybrid Systems: Computation and Conrol, Berlin; 2014-04-15 -- 2014-04-17} } 1 Datensatz ausgegeben