| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2007 | |
|---|---|---|
| 3 |      | Sergiy Kryvyy, Lyudmila Matvyeyeva: Algorithm of Translation of MSC-specified System into Petri Net. Fundam. Inform. 79(3-4): 431-445 (2007) |
| 2005 | ||
| 2 | | 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] [3] |
| 2 | Mariya Lopatina | [1] [2] |
Data released under the ODC-BY 1.0 license — See also our legal information page