search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

Timed Transition Systems.

Thomas A. Henzinger Zohar Manna Amir Pnueli

Published in: REX Workshop (1991)

Keyphrases

transition systems
concurrent systems
petri net
model checking
temporal logic
finite state
reactive systems
practical reasoning
control flow
markov chain
distributed systems
data flow
model checker
case study
formal verification