Temporal logic and state systems - Kroger, Fred; Merz, Stephan (Berlin Springer-Verlag, 2008)
Keywords: Logic, Symbolic And Mathematical; Tense (Logic)