Login / Signup

Comparative Analysis of Bisimulation Relations on Alternating and Non-Alternating Probabilistic Models.

Roberto SegalaAndrea Turrini
Published in: QEST (2005)
Keyphrases