Temporal Logic and its Applications

Howard Barringer

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Original languageEnglish
    Title of host publicationhost publication
    PublisherAcademic Press, Ltd
    Pages53-97
    Number of pages45
    Publication statusPublished - 1987

    Cite this