Maria V. Andreeva

Publication Activity (10 Years)

Years Active: 2000-2006
Publications (10 Years): 0

Publications

Maria V. Andreeva, Irina B. Virbitskaite
Observational Equivalences for Timed Stable Event Structures. Fundam. Informaticae 72 (1-3) (2006)
Maria V. Andreeva, Irina B. Virbitskaite
Timed Equivalences for Timed Event Structures. PaCT (2005)
Maria V. Andreeva, Elena N. Bozhenkova, Irina B. Virbitskaite
Analysis of Timed Concurrent Models Based on Testing Equivalence. Fundam. Informaticae 43 (1-4) (2000)