scientific article; zbMATH DE number 1538048

zbMATH Open0960.68108MaRDI QIDQ4518904FDOQ4518904

Markus Siegle, Joachim Meyer-Kayser, Joost-Pieter Katoen, Holger Hermanns

Publication date: 3 December 2000

Title of this publication is not available (Why is that?)

zbMATH Keywords

Markov chainsmodel checking

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (6)

• Model-checking large structured Markov chains.
• Model checking interactive Markov chains
• Simulation of program execution using popular Markov chains
• Minimization of probabilistic models of programs
• Algorithmic probabilistic game semantics. Playing games with automata
• Model Checking Interactive Markov Chains

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 Q4518904)