Login / Signup

Bisimulation Minimization in an Automata-Theoretic Verification Framework.

Kathi FislerMoshe Y. Vardi
Published in: FMCAD (1998)
Keyphrases
  • application domains