| 2005 | ||
|---|---|---|
| j2 | 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) | |
| c3 | 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 | |
| 2002 | ||
| c2 | Sergey Baranov, Vsevolod Kotlyarov, Julia V. Kapitonova, Alexander A. Letichevsky, Vladislav A. Volkov: Requirement Capturing and 3CR Approac. COMPSAC 2002: 279-283 | |
| 1999 | ||
| j1 | Alexander A. Letichevsky, Julia V. Kapitonova, Vladislav A. Volkov, A. Chugayenko, Victor Khomenko, David R. Gilbert: The development of interactive algorithms for the Mathematical Environment. Electr. Notes Theor. Comput. Sci. 23(3): 352-369 (1999) | |
| 1994 | ||
| c1 | Y. V. Kapitonova, Alexander A. Letichevsky, Vladislav A. Volkov, M. S. Lvov: Tools for Solving Problems in the Scope of Algebraic Programming. AISMC 1994: 30-47 | |
Data released under the ODC-BY 1.0 license — See also our legal information page