The cones and foci proof technique for timed transition systems.

Mark van der Zwaag

Published in: Inf. Process. Lett. (2001)

Keyphrases

transition systems
concurrent systems
model checking
petri net
temporal logic
finite state
control flow
reactive systems
practical reasoning
markov chain
formal specification
business processes
workflow management systems
fully observable