%0 Conference Paper %1 conf/emsoft/HarelKKMMW13 %A Harel, David %A Kantor, Amir %A Katz, Guy %A Marron, Assaf %A Mizrahi, Lior %A Weiss, Gera %B EMSOFT %D 2013 %E Ernst, Rolf %E Sokolsky, Oleg %I IEEE %K dblp %P 13:1-13:10 %T On composing and proving the correctness of reactive behavior. %U http://dblp.uni-trier.de/db/conf/emsoft/emsoft2013.html#HarelKKMMW13 %@ 978-1-4799-1443-2

@inproceedings{conf/emsoft/HarelKKMMW13, added-at = {2017-05-24T00:00:00.000+0200}, author = {Harel, David and Kantor, Amir and Katz, Guy and Marron, Assaf and Mizrahi, Lior and Weiss, Gera}, biburl = {https://www.bibsonomy.org/bibtex/2a7a3dfaef21f816b86e9cf129340c035/dblp}, booktitle = {EMSOFT}, crossref = {conf/emsoft/2013}, editor = {Ernst, Rolf and Sokolsky, Oleg}, ee = {http://dl.acm.org/citation.cfm?id=2555767}, interhash = {9994fa62c30f24533bbaaf9c7471d8a7}, intrahash = {a7a3dfaef21f816b86e9cf129340c035}, isbn = {978-1-4799-1443-2}, keywords = {dblp}, pages = {13:1-13:10}, publisher = {IEEE}, timestamp = {2019-10-17T22:01:19.000+0200}, title = {On composing and proving the correctness of reactive behavior.}, url = {http://dblp.uni-trier.de/db/conf/emsoft/emsoft2013.html#HarelKKMMW13}, year = 2013 }