## Algorithmic verification of recursive probabilistic state machines (2005)

### Cached

### Download Links

- [homepages.inf.ed.ac.uk]
- [homepages.inf.ed.ac.uk]
- DBLP

### Other Repositories/Bibliography

by
Kousha Etessami
,
Mihalis Yannakakis

Venue: | In Proc. 11th TACAS |

Citations: | 37 - 7 self |