Faella, Marco (2009) Qualitative Logics and Equivalences for Probabilistic Systems. [Pubblicazione in rivista scientifica]

Il contenuto (Full text) non è disponibile all'interno di questo archivio. [error in script] [error in script]
Tipologia del documento: Pubblicazione in rivista scientifica
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: 2009
Numero di pagine: 25
Dipartimento: Scienze fisiche
Titolo del periodico: LOGICAL METHODS IN COMPUTER SCIENCE
Data: 2009
Volume: 5
Numero: 2
Intervallo di pagine: pp. 1-25
Numero di pagine: 25
Parole chiave: stochastic systems, formal verification
Depositato il: 21 Ott 2010 06:57
Ultima modifica: 30 Apr 2014 19:43
URI: http://www.fedoa.unina.it/id/eprint/7546

Downloads

Downloads per month over past year

Actions (login required)

Modifica documento Modifica documento