Introduction to temporal logic (Part I) Publikasjonsdetaljer Arrangement: Hovedfagsseminar i logikk SLI År: 2001 Du er her: Hjem Publikasjoner Vitenskapelig foredrag Introduction to temporal logic (Part I)