Publications

Filters: Author is Medvidovic, Nenad  [Clear All Filters]
2014
I. Krka, N. D'Ippolito, N. Medvidovic, and S. Uchitel, “Revisiting Compatibility of Input-Output Modal Transition Systems”, in {FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, 2014.