Algorithmic verification of recursive probabilistic state machines (2005)

Cached

Download Links

by Kousha Etessami , Mihalis Yannakakis
Venue:In Proc. 11th TACAS
Citations:37 - 7 self