Refinement calculus of reactive systems
| Title | Refinement calculus of reactive systems |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Viorel Preoteasa, Stavros Tripakis |
| Conference Name | 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014 |
| Keywords | 1329759 |
| URL | http://doi.acm.org/10.1145/2656045.2656068 |
| DOI | 10.1145/2656045.2656068 |
| Citation Key | DBLP:conf/emsoft/PreoteasaT14 |