2005 | ||
---|---|---|
2 | EE | Alexander A. Letichevsky, Julia V. Kapitonova, Vsevolod Kotlyarov, Vladislav A. Volkov, A. A. Letichevsky Jr., Thomas Weigert: Semantics of Message Sequence Charts. SDL Forum 2005: 117-132 |
1 | EE | Alexander A. Letichevsky, Julia V. Kapitonova, A. A. Letichevsky Jr., Vladislav A. Volkov, Sergey Baranov, Thomas Weigert: Basic protocols, message sequence charts, and the verification of requirements specifications. Computer Networks 49(5): 661-675 (2005) |
1 | Sergey Baranov | [1] |
2 | Julia V. Kapitonova | [1] [2] |
3 | Vsevolod Kotlyarov | [2] |
4 | Alexander A. Letichevsky | [1] [2] |
5 | Vladislav A. Volkov | [1] [2] |
6 | Thomas Weigert | [1] [2] |