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]
@inproceedings{HarelKKMMW13,
title = {On composing and proving the correctness of reactive behavior},
author = {David Harel and Amir Kantor and Guy Katz and Assaf Marron and Lior Mizrahi and Gera Weiss},
year = {2013},
doi = {10.1109/EMSOFT.2013.6658591},
url = {http://dx.doi.org/10.1109/EMSOFT.2013.6658591},
researchr = {https://researchr.org/publication/HarelKKMMW13},
cites = {0},
citedby = {0},
pages = {1-10},
booktitle = {Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
publisher = {IEEE},
}