Faella, Marco (2009) Qualitative Logics and Equivalences for Probabilistic Systems. [Rivista]

Full text not available from this repository.
Item Type: Rivista
Uncontrolled Keywords: stochastic systems, formal verification
Depositing User: ing Paolo Nicastro
Date Deposited: 21 Oct 2010 06:57
Last Modified: 30 Apr 2014 19:43
URI: http://www.fedoa.unina.it/id/eprint/7546

Actions (login required)

View Item View Item