| |
| 1999 | ||
|---|---|---|
| 2 | EE | Irina Virbitskaite, E. Pokozy: A Partial Order Method for the Verification of Time Petri Nets. FCT 1999: 547-558 |
| 1 | EE | Irina Virbitskaite, E. Pokozy: Parametric Behaviour Analysis for Time Petri Nets. PaCT 1999: 134-140 |
| 1 | Irina Virbitskaite | [1] [2] |