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

Il contenuto (Full text) non è disponibile all'interno di questo archivio.
Tipologia del documento: Contributo a Convegno o Workshop ([non definito])
Lingua: English
Titolo: Qualitative Logics and Equivalences for Probabilistic Systems
Autori:
AutoreEmail
Faella, Marco[non definito]
Autore/i: L. DE ALFARO; K. CHATTERJEE; M. FAELLA; A. LEGAY
Data: 2007
Numero di pagine: 0
Dipartimento: Scienze fisiche
Titolo dell'evento: QEST'07
Luogo dell'evento: Edimburgh, UK
Data dell'evento: September, 2007
Titolo dell'opera che contiene il documento: Proceedings of the 4th International Conference on Quantitative Evaluation of Systems (QEST07)
Nazione dell'editore: STATI UNITI D'AMERICA
Editore: IEEE Computer Society
Data: 2007
ISBN: 0-7695-2883-X
Intervallo di pagine: pp. 237-248
Numero di pagine: 0
Depositato il: 18 Ott 2010 08:15
Ultima modifica: 30 Apr 2014 19:41
URI: http://www.fedoa.unina.it/id/eprint/5679

Actions (login required)

Modifica documento Modifica documento