Qualitative Logics and Equivalences for Probabilistic Systems

FAELLA, MARCO (2007) Qualitative Logics and Equivalences for Probabilistic Systems. In: QEST'07, September, 2007, Edimburgh, UK.

Full text non disponibile da questo archivio.


Tipologia di documento:Contributo in atti di congresso o conferenza (Non specificato)
Settori scientifico-disciplinari MIUR:Non specificato
Stato del full text:Accessibilità ristretta
Data:2007
Altri Autori:L. DE ALFARO; K. CHATTERJEE; M. FAELLA; A. LEGAY
Editore:IEEE Computer Society
Numero di pagine:0
Intervallo di pagina:pp. 237-248
Dipartimento o Struttura:Dipartimento di Scienze Fisiche
ISBN:0-7695-2883-X
Titolo dell'evento:QEST'07
Luogo dell'Evento:Edimburgh, UK
Data dell'evento:September, 2007
Numero di sistema:5679
Depositato il:18 Ottobre 2010 10:15
Ultima modifica:18 Ottobre 2010 10:15

Solo per gli Amministratori dell'archivio: edita il record