Abstraction for Stochastic Systems by Erlang’s Method of Stages

DOI10.1007/978-3-540-85361-9_24zbMath1160.68469OpenAlexW2128146549WikidataQ57801634 ScholiaQ57801634MaRDI QIDQ3541024

Daniel Klink, Verena Wolf, Martin Leucker, Joost-Pieter Katoen

Publication date: 25 November 2008

Published in: CONCUR 2008 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL: http://publications.rwth-aachen.de/record/47821

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Three-valued abstraction for probabilistic systems

Uses Software

• CEGAR

This page was built for publication: Abstraction for Stochastic Systems by Erlang’s Method of Stages