scientific article; zbMATH DE number 1330140
From MaRDI portal
Publication:4260713
zbMath0933.03029MaRDI QIDQ4260713
Purush Iyer, Murali Narasimha, Rance Cleaveland
Publication date: 1 September 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
probabilistic modal logicprobabilistic temporal logicprobabilistic labeled transition systemsmodel-checking algorithmmu-calculus-based modal logic
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (2)
The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator ⋮ Reasoning about probabilistic sequential programs
This page was built for publication:
