| Alkuperäiskieli | Ei tiedossa |
|---|---|
| Kustantaja | Turku Centre for Computer Science (TUCS) |
| Sivumäärä | 19 |
| ISBN (painettu) | 952-12-0407-9 |
| Tila | Julkaistu - 1999 |
| OKM-julkaisutyyppi | D4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset |
Checking Timing Petri Nets for Linear Duration Properties
Li Xuandong, Johan Lilius
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen