Interface input/output automata
Kim G. Larsen, Ulrik Nyman, Andrzej Wąsowski, Copyright C, Kim G. Larsen, Ulrik Nyman, Kim G. Larsen A, B Ulrik Nyman B, Andrzej Wąsowski C · 2008
Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Report Series publications. Copies may be obtained by contacting: BRICS