Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings

Behnam Banieqbal (Editor), Howard Barringer (Editor), Amir Pnueli (Editor)

    Research output: Chapter in Book/Conference proceeding › Conference contribution

    Original languageEnglish
    Title of host publicationLecture Notes in Computer Science
    PublisherSpringer Nature
    Volume398
    ISBN (Print)3-540-51803-7
    Publication statusPublished - 1989
    EventTemporal Logic in Specification -
    Duration: 1 Jan 1824 → …
    http://dblp.uni-trier.de/db/conf/tls/tls1987.htmlhttp://dblp.uni-trier.de/rec/bibtex/conf/tls/1987.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/tls/1987

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer

    Conference

    ConferenceTemporal Logic in Specification
    Period1/01/24 → …
    Internet address

    Access to Document

    Cite this