C
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