Login / Signup

Nondeterministic ordered binary decision diagrams with repeated tests and various modes of acceptance.

Henrik BrosenneMatthias HomeisterStephan Waack
Published in: Inf. Process. Lett. (2006)
Keyphrases
  • ordered binary decision diagrams
  • deterministic finite automaton
  • model checking
  • constraint satisfaction problems
  • test suite
  • special case
  • test cases
  • propositional logic