Login / Signup
Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation.
Silvia Crafa
Francesco Ranzato
Published in:
ICALP (2) (2011)
Keyphrases
</>
orders of magnitude
case study
data structure