• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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