Publication Overview

V. Wolf and C. Baier and M. Majster-Cederbaum

Trace machines for observing continuous-time Markov chains

Published in: Proceedings of the International Workshop on Quantitative Aspects of Programming Languages (QAPL'04)
Year: 2004
Volume: 153
Pages: 259-277