David Harel, Amir Kantor, Guy Katz, Assaf Marron, Lior Mizrahi, Gera Weiss. On composing and proving the correctness of reactive behavior. In Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013. pages 1-10, IEEE, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.