| |
| 2006 | ||
|---|---|---|
| 3 | EE | Maria V. Andreeva, Irina Virbitskaite: Observational Equivalences for Timed Stable Event Structures. Fundam. Inform. 72(1-3): 1-19 (2006) |
| 2005 | ||
| 2 | EE | Maria V. Andreeva, Irina Virbitskaite: Timed Equivalences for Timed Event Structures. PaCT 2005: 16-26 |
| 2000 | ||
| 1 | Maria V. Andreeva, Elena N. Bozhenkova, Irina Virbitskaite: Analysis of Timed Concurrent Models Based on Testing Equivalence. Fundam. Inform. 43(1-4): 1-20 (2000) | |
| 1 | Elena N. Bozhenkova | [1] |
| 2 | Irina Virbitskaite | [1] [2] [3] |