"Temporal Logic Applied in Information Systems."

Silvia Rissino, Germano Lambert-Torres, Helga Gonzaga Martins (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics