Sign in
Bisimulation Minimization in an Automata-Theoretic Verification Framework.
Kathi Fisler
Moshe Y. Vardi
Published in:
FMCAD (1998)
Keyphrases
</>
application domains