| Original language | English |
|---|---|
| Title of host publication | International conference on embedded software, EMSOFT2014, 12-17 October, New Delhi, India |
| Place of Publication | New York |
| Publisher | ACM |
| Pages | 2 |
| ISBN (Print) | 978-1-4503-3052-7 |
| Publication status | Published - 2014 |
| MoE publication type | A4 Conference publication |
Refinement Calculus of Reactive Systems
Viorel Preoteasa, Stavros Tripakis
Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review
18
Citations
(Scopus)