Originalspråk | Odefinierat/okänt |
---|---|
Förlag | Turku Centre for Computer Science (TUCS) |
Antal sidor | 19 |
ISBN (tryckt) | 952-12-0407-9 |
Status | Publicerad - 1999 |
MoE-publikationstyp | D4 Publicerad utvecklings- eller forskningsrapport eller studie |
Checking Timing Petri Nets for Linear Duration Properties
Li Xuandong, Johan Lilius
Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell