Industrial deployment of system engineering methods providing high dependability and productivity

 

Counterexamples in Probabilistic LTL Model Checking for Markov Chains.

Schmalz, Matthias and Varacca, Daniele and Völzer, Hagen (2009) Counterexamples in Probabilistic LTL Model Checking for Markov Chains. In: Concur.

Full text not available from this repository.


Item Type:Conference or Workshop Item (Paper)
Subjects:Methodology > Other
ID Code:147
Deposited By:Matthias Schmalz
Deposited On:07 Sep 2009 12:30
Last Modified:07 Sep 2009 12:30

Repository Staff Only: item control page

Deploy-Project - All right reserved