Checking Timing Petri Nets for Linear Duration Properties

Li Xuandong, Johan Lilius

    Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

    OriginalspråkOdefinierat/okänt
    FörlagTurku Centre for Computer Science (TUCS)
    Antal sidor19
    ISBN (tryckt)952-12-0407-9
    StatusPublicerad - 1999
    MoE-publikationstypD4 Publicerad utvecklings- eller forskningsrapport eller studie

    Citera det här