Silvia Rissino, Germano Lambert-Torres, Helga Gonzaga Martins. Temporal Logic Applied in Information Systems. In Germano Lambert-Torres, Jair Minoro Abe, João Inácio da Silva Filho, Helga Gonzaga Martins, editors, Advances in Technological Applications of Logical and Intelligent Systems, Selected Papers from the Sixth Congress on Logic Applied to Technology, LAPTEC 2007, Unisanta, Santa Cecilia University, Santos, Brazil, November 21-23, 2007. Volume 186 of Frontiers in Artificial Intelligence and Applications, pages 28-54, IOS Press, 2007. [doi]
Abstract is missing.