On the Symbolic Verification of Timed Systems

Jesper Møller, Jakob Lichtenberg, Henrik Reif Andersen, Henrik Hulgaard

    Research output: Book/ReportReportpeer-review

    Original languageEnglish
    Number of pages11
    Publication statusPublished - 1999

    Cite this