Originalspråk | Odefinierat/okänt |
---|---|
Sidor (från-till) | 113–133 |
Tidskrift | Electronic Notes in Theoretical Computer Science |
Volym | 18 |
Status | Publicerad - 1998 |
MoE-publikationstyp | A1 Tidskriftsartikel-refererad |
Efficient State Space Search for Time Petri Nets
Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
35
Citeringar
(Scopus)