Compositional Quantitative Reasoning

FAELLA, MARCO (2006) Compositional Quantitative Reasoning. In: QEST'06, September, 2006, Riverside, USA.

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:2006
Altri Autori:K. Chatterjee, L. de Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga
Editore:IEEE Computer Society
Numero di pagine:0
Intervallo di pagina:pp. 179-188
Dipartimento o Struttura:Dipartimento di Scienze Fisiche
ISBN:0-7695-2665-9
Titolo dell'evento:QEST'06
Luogo dell'Evento:Riverside, USA
Data dell'evento:September, 2006
Numero identificativo:10.1109/QEST.2006.10
Numero di sistema:5628
Depositato il:18 Ottobre 2010 10:15
Ultima modifica:18 Ottobre 2010 10:15

Solo per gli Amministratori dell'archivio: edita il record