Login / Signup
Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation.
Silvia Crafa
Francesco Ranzato
Published in:
Formal Methods Syst. Des. (2012)
Keyphrases
</>
transition systems
database
artificial intelligence
open source
orders of magnitude
database technology