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

Cached

Download Links

by Verena Wolf , Mila Majster-cederbaum , Christel Baier
Venue:in Proc. of the 3rd Int. Workshop on Quantitative Aspects of Programming Languages (QAPL 2005), ENTCS
Citations:5 - 1 self