Weak bisimulation for probabilistic systems (2000)

Cached

Download Links

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