Revisiting Compatibility of Input-Output Modal Transition Systems

TitleRevisiting Compatibility of Input-Output Modal Transition Systems
Publication TypeConference Paper
Year of Publication2014
AuthorsKrka, I, D'Ippolito, N, Medvidovic, N, Uchitel, S
EditorJones, CB, Pihlajasaari, P, Sun, J
Conference Name{FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
PublisherSpringer
URLhttp://dx.doi.org/10.1007/978-3-319-06410-9_26
DOI10.1007/978-3-319-06410-9_26
Work Package: 
WP5