| Alkuperäiskieli | Ei tiedossa |
|---|---|
| Kustantaja | Turku Centre for Computer Science (TUCS) |
| Sivumäärä | 14 |
| ISBN (painettu) | 952-12-0418-4 |
| Tila | Julkaistu - 1999 |
| OKM-julkaisutyyppi | D4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset |
Verifying Time Petri Nets by Linear Programming
Li Xuandong, Johan Lilius
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen