E. Pokozy

Publication Activity (10 Years)

Years Active: 1999-1999
Publications (10 Years): 0

Publications

Irina B. Virbitskaite, E. Pokozy
A Partial Order Method for the Verification of Time Petri Nets. FCT (1999)
Irina B. Virbitskaite, E. Pokozy
Parametric Behaviour Analysis for Time Petri Nets. PaCT (1999)