C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Temporal Proof Methodologies for Timed Transition Systems
Thomas A. Henzinger
Zohar Manna
Amir Pnueli
Published in:
Inf. Comput. (1994)
Keyphrases
</>
transition systems
concurrent systems
temporal logic
model checking
petri net
temporal constraints
finite state
artificial intelligence
practical reasoning
control flow
reactive systems
web services
theorem prover