Bounded Model Construction for Duration Calculus

Jacob Enslev, Anne-Sofie Nielsen, Martin Fränzle, Michael Reichhardt Hansen, Neil D. Jones (Editor)

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationProceedings of the 17th Nordic Workshop on Programming Theory
    Publication date2005
    Publication statusPublished - 2005

    Cite this