Login / Signup
Speeding Up Symbolic Model Checking by Accelerating Dynamic Variable Reordering
Christoph Meinel
Christian Stangier
Published in:
Universität Trier, Mathematik/Informatik, Forschungsbericht (1999)
Keyphrases
</>
symbolic model checking
partial observability
model checking
bayesian networks