Compositionality results for cardiac cell dynamics

Md. Ariful Islam, Abhishek Murthy, Antoine Girard, Scott A. Smolka, Radu Grosu. Compositionality results for cardiac cell dynamics. In Martin Fränzle, John Lygeros, editors, 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014. pages 243-252, ACM, 2014. [doi]

@inproceedings{IslamMGSG14,
  title = {Compositionality results for cardiac cell dynamics},
  author = {Md. Ariful Islam and Abhishek Murthy and Antoine Girard and Scott A. Smolka and Radu Grosu},
  year = {2014},
  doi = {10.1145/2562059.2562138},
  url = {http://doi.acm.org/10.1145/2562059.2562138},
  researchr = {https://researchr.org/publication/IslamMGSG14},
  cites = {0},
  citedby = {0},
  pages = {243-252},
  booktitle = {17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
  editor = {Martin Fränzle and John Lygeros},
  publisher = {ACM},
  isbn = {978-1-4503-2732-9},
}