Advances in Temporal Logic

Howard Barringer (Editor), Michael Fisher (Editor), Dov Gabbay (Editor), Graham Gough (Editor)

    Research output: Book/ReportAnthologypeer-review

    Original languageEnglish
    PublisherKluwer Academic Publishers
    Volume16
    ISBN (Print)0-7923-6149-0
    Publication statusPublished - Dec 1999

    Publication series

    NameApplied Logic Series
    PublisherKluwer academic Publishers

    Cite this