Weak bisimulation for probabilistic systems (2000)

Cached

Download Links

by Anna Philippou , Insup Lee , Oleg Sokolsky
Venue:CONCURRENCY THEORY, LNCS
Citations:59 - 8 self