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

Full text not available from this repository.
Item Type: Pubblicazione in rivista scientifica
Resource language: English
Title: Qualitative Logics and Equivalences for Probabilistic Systems
Creators:
Creators
Email
Faella, Marco
UNSPECIFIED
Autore/i: L. de Alfaro, K. Chatterjee, M. Faella, A. Legay
Date: 2009
Number of Pages: 25
Department: Scienze fisiche
Journal or Publication Title: LOGICAL METHODS IN COMPUTER SCIENCE
Date: 2009
Volume: 5
Number: 2
Page Range: pp. 1-25
Number of Pages: 25
Keywords: stochastic systems, formal verification
Date Deposited: 21 Oct 2010 06:57
Last Modified: 30 Apr 2014 19:43
URI: http://www.fedoa.unina.it/id/eprint/7546

Downloads

Downloads per month over past year

Actions (login required)

View Item View Item