DMCA

Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time

Cached

Download Links

by Holger Hermanns , Andrea Turrini
Citations:4 - 2 self