| |
| 2005 | ||
|---|---|---|
| 2 | EE | Sergiy Kryvyy, Lyudmila Matvyeyeva, Mariya Lopatina: Automatic Modeling and Analysis of MSC-specified Systems. Fundam. Inform. 67(1-3): 107-120 (2005) |
| 2004 | ||
| 1 | Lyudmila Matvyeyeva, Sergiy Kryvyy, Mariya Lopatina: Automatic Analysis and Verification of MSC-Specified Telecommunication System. ICINCO (2) 2004: 402-405 | |
| 1 | Sergiy Kryvyy | [1] [2] |
| 2 | Lyudmila Matvyeyeva | [1] [2] |