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

### Cached

### Download Links

- [web.informatik.uni-bonn.de]
- [www.inf.tu-dresden.de]
- DBLP

### Other Repositories/Bibliography

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 |