Efficient State Space Search for Time Petri Nets

    Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

    35 Citeringar (Scopus)
    OriginalspråkOdefinierat/okänt
    Sidor (från-till)113–133
    TidskriftElectronic Notes in Theoretical Computer Science
    Volym18
    StatusPublicerad - 1998
    MoE-publikationstypA1 Tidskriftsartikel-refererad

    Citera det här