CINECA IRIS Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Torino.
AperTO è l'archivio istituzionale Open Access destinato a raccogliere, rendere visibile e conservare la produzione scientifica dell'Università degli Studi di Torino.
EnglishEfficient 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.
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/2318/29075| Titolo: | Efficient lumpability check in partially symmetric systems |
| Autori interni: | BECCUTI, Marco |
| Autori: | M. BECCUTI |
| Data di pubblicazione: | 2006 |
| Nome 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-Contributo in Atti di Convegno 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.
Copyright © 2017