Revisiting Timed Specification Theories: A Linear-Time Perspective

Chris Chilton Marta Z. Kwiatkowska Xu Wang

Published in: CoRR (2012)

Keyphrases

viewpoint
petri net
theoretical framework
data sets
case study
relational databases
user defined
formal specification
colored petri nets
information technology
finite state machines
causal reasoning