Modal I/O Automata for Interface and Product Line Theories.

Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski

Browse the full ESOP paper archive.