Temporal Logic in Information Systems

Jan Chomicki, David Toman. Temporal Logic in Information Systems. In Jan Chomicki, Gunter Saake, editors, Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1995). pages 31-70, Kluwer, 1998. [doi]

Abstract

Abstract is missing.