Checking Timing Petri Nets for Linear Duration Properties

Li Xuandong, Johan Lilius

    Research output: Book/ReportCommissioned reportProfessional

    Original languageUndefined/Unknown
    PublisherTurku Centre for Computer Science (TUCS)
    Number of pages19
    ISBN (Print)952-12-0407-9
    Publication statusPublished - 1999
    MoE publication typeD4 Published development or research report or study

    Cite this