Login / Signup
Symbolic Model Checking by Automata Based Set Representation.
Tobias Schuele
Klaus Schneider
Published in:
MBMV (2002)
Keyphrases
</>
symbolic model checking
model checking
normal form
binary decision diagrams