Revisiting Compatibility of Input-Output Modal Transition Systems
| Title | Revisiting Compatibility of Input-Output Modal Transition Systems |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Krka, I, D'Ippolito, N, Medvidovic, N, Uchitel, S |
| Editor | Jones, CB, Pihlajasaari, P, Sun, J |
| Conference Name | {FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings |
| Publisher | Springer |
| URL | http://dx.doi.org/10.1007/978-3-319-06410-9_26 |
| DOI | 10.1007/978-3-319-06410-9_26 |
Work Package:
WP5
