Login / Signup

Algorithmic Algebraic Model Checking III: Approximate Methods.

Venkatesh MysoreBud Mishra
Published in: INFINITY (2005)
Keyphrases
  • model checking
  • temporal logic
  • finite state