2005
Journal article  Restricted

Modularity for teams of I/O automata

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



Back to previous page
BibTeX entry
@article{oai:it.cnr:prodotti:43830,
	title = {Modularity for teams of I/O automata},
	author = {Ter Beek M.  H. and Kleijn J.},
	year = {2005}
}