scientific article; zbMATH DE number 1497761

MaRDI QIDQ4499172zbMATH OpenFDO

Authors Murali Narasimha, Rance Cleaveland, Purushothaman Iyer

Publication date 6 March 2001

zbMATH Keywords

model-checking problem

Mathematics Subject Classification ID

Distributed systems (68M14)

Recommendations

• scientific article; zbMATH DE number 1330140
• Probabilistic temporal logics via the modal mu-calculus
• Model checking of probabilistic and nondeterministic systems
• Validation of Stochastic Systems
• Model checking probabilistic systems

Cited in

(3)

• Probabilistic temporal logics via the modal mu-calculus
• scientific article; zbMATH DE number 1330140 (Why is no real title available?)
• The duality of state and observation in probabilistic transition systems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4499172)