Transformations of Timed Communicating Automata / R., L., A., M.S., Peron, A., S., T.. - STAMPA. - Informatik-Bericht Nr.140:(2000), pp. 105-116. (Concurrency, Specification & Programming Workshop CS&P 2000 Berlin 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.


