DMCA

Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems (2011)

Cached

Download Links

by Hongfei Fu , Joost-pieter Katoen
Venue:In FSTTCS
Citations:1 - 0 self