Symbolic Model Checking of Concurrent Probabilistic Processes Using MTBDDs and the Kronecker Representation

DE ALFARO, L.; Kwiatkowska, M.; Norman, G.; Parker, D.; Segala, Roberto

CATALOGO DEI PRODOTTI DELLA RICERCA

IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.

Symbolic Model Checking of Concurrent Probabilistic Processes Using MTBDDs and the Kronecker Representation / L. DE ALFARO; M. KWIATKOWSKA; G. NORMAN; D. PARKER; R. SEGALA. - LNCS 1785(2000). ((Intervento presentato al convegno International conference No6, tenutosi a Berlin , ALLEMAGNE nel 25/03/2000.

Titolo:	Symbolic Model Checking of Concurrent Probabilistic Processes Using MTBDDs and the Kronecker Representation
Autori:	L. DE ALFARO M. KWIATKOWSKA G. NORMAN D. PARKER SEGALA, Roberto mostra contributor esterni nascondi contributor esterni
Data di pubblicazione:	2000
Handle:	http://hdl.handle.net/11562/243512
Appare nelle tipologie:	04.01 Contributo in atti di convegno

File in questo prodotto:

Non ci sono file associati a questo prodotto.

Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11562/243512

Citazioni

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.