Nondeterministic Modal Interfaces.

Ferenc Bujtor, Sascha Fendrich, Gerald Lttgen, Walter Vogler

Browse the full SOFSEM paper archive.