Efficient Model Checking for a Hybrid Duration Calculus.

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

    Original languageEnglish
    Title of host publicationInternational Workshop on Hybrid Logic and Applications (HyLo 2010).
    Publication date2010
    Pages1-7
    Publication statusPublished - 2010
    EventInternational Workshop on Hybrid Logic and Applications - Edinburgh, United Kingdom
    Duration: 10 Jul 2010 → …
    http://hylocore.ruc.dk/HyLo2010.html

    Workshop

    WorkshopInternational Workshop on Hybrid Logic and Applications
    CountryUnited Kingdom
    CityEdinburgh
    Period10/07/2010 → …
    Internet address

    Cite this