Publications

Filters: Author is Krka, Ivo [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.