Trace Machines for Observing Continuous-Time Markov Chains (2005)

by V Wolf, C Baier, M E Majster-Cederbaum
Venue:Electr. Notes Theor. Comput. Sci