M.: Trace machines for observing continuous-time Markov chains (2004)

by V Wolf, C Baier, Majster-Cederbaum
Venue:ENTCS