| Original language | Undefined/Unknown |
|---|---|
| Publisher | Turku Centre for Computer Science (TUCS) |
| Number of pages | 14 |
| ISBN (Print) | 952-12-0418-4 |
| Publication status | Published - 1999 |
| MoE publication type | D4 Published development or research report or study |
Verifying Time Petri Nets by Linear Programming
- Li Xuandong
- , Johan Lilius
Research output: Book/Journal/Report › Commissioned report › Professional