Syntax and semantics of the compositional interchange format for hybrid systems
| Title | Syntax and semantics of the compositional interchange format for hybrid systems |
| Publication Type | Journal Article |
| Year of Publication | 2013 |
| Authors | Nadales Agut, DE, van Beek, DA, Rooda, JE |
| Journal | J. Log. Algebr. Program. |
| Volume | 82 |
| Pagination | 1-52 |
Work Package:
WP4
