David Harel, Hillel Kugler. Some Thoughts on the Semantics of Biocharts. In Zohar Manna, Doron Peled, editors, Time for Verification, Essays in Memory of Amir Pnueli. Volume 6200 of Lecture Notes in Computer Science, pages 185-194, Springer, 2010. [doi]
@inproceedings{HarelK10,
title = {Some Thoughts on the Semantics of Biocharts},
author = {David Harel and Hillel Kugler},
year = {2010},
doi = {10.1007/978-3-642-13754-9_9},
url = {http://dx.doi.org/10.1007/978-3-642-13754-9_9},
tags = {semantics},
researchr = {https://researchr.org/publication/HarelK10},
cites = {0},
citedby = {0},
pages = {185-194},
booktitle = {Time for Verification, Essays in Memory of Amir Pnueli},
editor = {Zohar Manna and Doron Peled},
volume = {6200},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-13753-2},
}