Sign in

Semiretracts--a counterexample and some results.

Wit ForysTomasz KrawczykJames A. Anderson
Published in: Theor. Comput. Sci. (2003)
Keyphrases
  • model checking
  • formal verification
  • temporal logic
  • domain independent
  • branch and bound