Login / Signup

Compositionality of Approximate Bisimulation for Probabilistic Systems.

Daniel GeblerSimone Tini
Published in: EXPRESS/SOS (2013)
Keyphrases