Temporal Logic and State Systems - Kroger, Fred.; Merz, Stephan; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008)
Keywords: Logic, Symbolic and mathematical; Time; Computer Science; Logics and Meanings of Programs