On the Specification and Verification of Performance Properties for a Timed Process Algebras / CHEN X.J.; F. CORRADINI. - LNCS 1349(1997), pp. 123-137. ((Intervento presentato al convegno Algebraic Methodology and Software Technology, 6th International Conference, tenutosi a Sydney, Australia nel December 13-17, 1997.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
Titolo: | On the Specification and Verification of Performance Properties for a Timed Process Algebras |
Autori: | |
Data di pubblicazione: | 1997 |
Handle: | http://hdl.handle.net/11581/111688 |
ISBN: | 9783540638889 |
Appare nelle tipologie: | Contributo in atto di convegno su volume |
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.