Abstraction of Probabilistic Systems

DOI10.1007/978-3-540-75454-1_1zbMath1141.68472OpenAlexW1585873980MaRDI QIDQ3510828

Joost-Pieter Katoen

Publication date: 3 July 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75454-1_1

Mathematics Subject Classification ID

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

Uses Software

• PRISM
• MRMC

This page was built for publication: Abstraction of Probabilistic Systems