DMCA
Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems (2011)
by
Hongfei Fu
,
Joost-pieter Katoen
Venue: | In FSTTCS |
Citations: | 1 - 0 self |