#### DMCA

## Model-checking algorithms for continuous-time Markov chains (2003)

### Cached

### Download Links

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

### Other Repositories/Bibliography

by
Christel Baier
,
Boudewijn Haverkort
,
Holger Hermanns
,
Joost-Pieter Katoen

Venue: | IEEE TRANSACTIONS ON SOFTWARE ENGINEERING |

Citations: | 235 - 48 self |