I. B. Verbistskaite

Publication Activity (10 Years)

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

Publications

Alexandre V. Bystrov, I. B. Verbistskaite
Implementing Model Checking and Equivalence Checking for Time Petri Nets by the RT-MEC Tool. PaCT (1999)