Login / Signup

A New Algorithm for Discrete Timed Symbolic Model Checking.

Jürgen RufThomas Kropf
Published in: HART (1997)
Keyphrases
  • optimal solution
  • preprocessing
  • dynamic programming
  • petri net
  • search strategy
  • symbolic model checking