Revisiting modal interface automata.

Ivo Krka, Nenad Medvidovic

Browse the full ICSE paper archive.