Indiscrete Models: Model Building and Model Checking over Linear Time

Tim French, John Mccabe-Dansted, Mark Reynolds

    Research output: Chapter in Book/Conference paperChapterpeer-review

    4 Citations (Scopus)
    Original languageEnglish
    Title of host publicationLogic and Its Applications
    EditorsKamal Lodaya
    Place of PublicationChennai, India
    PublisherSpringer
    Pages50-68
    Volume7750
    ISBN (Print)9783642360381
    DOIs
    Publication statusPublished - 2013

    Publication series

    NameLodaya, Kamal

    Cite this