Efficient verification of a class of time Petri nets using linear programming

Li Xuandong, Johan Lilius

    Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

    OriginalspråkOdefinierat/okänt
    Sidor (från-till)219–224
    TidskriftInformation Processing Letters
    Volym77
    Utgåva5-6
    DOI
    StatusPublicerad - 2001
    MoE-publikationstypA1 Tidskriftsartikel-refererad

    Citera det här