Ter Beek M. H., Kleijn J.
Formal methods; Distributed systems; I/O automata; Team automata
None
Source: INFORMATION PROCESSING LETTERS, vol. 95 (issue 5), pp. 487-495
@article{oai:it.cnr:prodotti:43830, title = {Modularity for teams of I/O automata}, author = {Ter Beek M. H. and Kleijn J.}, year = {2005} }