Efficient lumpability check in partially symmetric systems / M. BECCUTI. - ELETTRONICO. - Vol.:(2006), pp. 10-26. ((Intervento presentato al convegno Doctoral Consortium, satellite event of ACSD'06 and ICATPN'06 tenutosi a Turku, Finland nel 30-6-2006.
Titolo: | Efficient lumpability check in partially symmetric systems | |
Autori Riconosciuti: | ||
Autori: | M. BECCUTI | |
Data di pubblicazione: | 2006 | |
Editore: | Efficient lumpa Doctoral Consortium | |
Titolo del libro: | Proceedings of Doctoral Consortium, satellite event of ACSD'06 and ICATPN'06 | |
Volume: | Vol. | |
Pagina iniziale: | 10 | |
Pagina finale: | 26 | |
Nome del convegno: | Doctoral Consortium, satellite event of ACSD'06 and ICATPN'06 | |
Luogo del convegno: | Turku, Finland | |
Anno del convegno: | 30-6-2006 | |
Appare nelle tipologie: | 04A-Conference paper in 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.