Alkuperäiskieli | Ei tiedossa |
---|---|
Sivut | 113–133 |
Julkaisu | Electronic Notes in Theoretical Computer Science |
Vuosikerta | 18 |
Tila | Julkaistu - 1998 |
OKM-julkaisutyyppi | A1 Julkaistu artikkeli, soviteltu |
Efficient State Space Search for Time Petri Nets
Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
39
Sitaatiot
(Scopus)