Publication Overview

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

Trace Machines for Observing Continuous-Time Markov Chains

Published in: Electr. Notes Theor. Comput. Sci.
Year: 2006
Volume: 153
Pages: 259-277