DMCA

Cost preserving bisimulations for probabilistic automata (2013)

Cached

Download Links

by Andrea Turrini , Holger Hermanns
Venue:In CONCUR, volume 8052 of LNCS
Citations:1 - 0 self