Abstraction for stochastic systems by Erlangs method of stages

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

121310 120000

Abstraction for stochastic systems by Erlangs method of stages RWTH Aachen, Department of Computer Science

Aachen

English 27 S. 2008,12 PUB:(DE-HGF)29, ; 10, ;

Report

2008

RWTH-CONV-008210

2008

https://publications.rwth-aachen.de/record/47821