Transformations of Timed Communicating Automata / R., Lanotte; A., Maggiolo Schettini; Peron, Adriano; S., Tini. - STAMPA. - Informatik-Bericht Nr.140:(2000), pp. 105-116. (Intervento presentato al convegno Concurrency, Specification & Programming Workshop CS&P 2000 tenutosi a Berlin nel Ottobre 2000).
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.