Weak bisimulation for probabilistic systems (2000)

Cached

Download Links

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