Verifying Time Petri Nets by Linear Programming

Li Xuandong, Johan Lilius

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

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

    Citera det här