Login / Signup

Semantics and Verifikation of Extended Phase Transition Systems in Duration Calculus.

Qiwen Xu
Published in: HART (1997)
Keyphrases
  • phase transition
  • satisfiability problem
  • constraint satisfaction
  • np complete problems
  • hamiltonian cycle