Temporal logic : proceedings - Gabbay D M; International Conference on Temporal Logic( 1st : 1994 : Bonn ); International Conference on Temporal Logic 1st Bonn, 1994 (Berlin Springer Verlag, 1994)
Keywords: Computer science; Temporal logic