Data di Pubblicazione:
2005
Abstract:
None
Tipologia CRIS:
01.01 Articolo in rivista
Keywords:
Formal methods; Distributed systems; I/O automata; Team automata
Elenco autori:
TER BEEK, MAURICE HENRI
Link alla scheda completa:
Pubblicato in: