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

Il contenuto (Full text) non è disponibile all'interno di questo archivio.
Tipologia del documento: Contributo a Convegno o Workshop ([non definito])
Lingua: English
Titolo: Compositional Quantitative Reasoning
Autori:
AutoreEmail
Faella, Marco[non definito]
Autore/i: K. Chatterjee, L. de Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga
Data: 2006
Numero di pagine: 0
Dipartimento: Scienze fisiche
Numero identificativo: 10.1109/QEST.2006.10
Titolo dell'evento: QEST'06
Luogo dell'evento: Riverside, USA
Data dell'evento: September, 2006
Titolo dell'opera che contiene il documento: Proceedings of the Third International Conference on the Quantitative Evaluation of Systems
Nazione dell'editore: STATI UNITI D'AMERICA
Editore: IEEE Computer Society
Data: 2006
ISBN: 0-7695-2665-9
Intervallo di pagine: pp. 179-188
Numero di pagine: 0
Numero identificativo: 10.1109/QEST.2006.10
Depositato il: 18 Ott 2010 08:15
Ultima modifica: 30 Apr 2014 19:41
URI: http://www.fedoa.unina.it/id/eprint/5628

Actions (login required)

Modifica documento Modifica documento