Some Thoughts on the Semantics of Biocharts

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]

Authors

David Harel

This author has not been identified. It may be one of the following persons: Look up 'David Harel' in Google

Hillel Kugler

This author has not been identified. Look up 'Hillel Kugler' in Google