Publications during 1999

1. Grinev M. Semi-structured Data Management Systems (in Russian). Open System Magazine 5-6, 1999, Open Systems Publications.
2. I.Burdonov, A.Kosatchev, A.Petrenko, D.Galter. KVEST: Automated Generation of Test Suites from Formal Specifications. Proceedings of Formal Method Congress, Toulouse, France, 1999, LNCS, No. 1708, pp.608-621.
3. Victor Ivannikov, Sergei Morozov, Vitaly Semenov, Oleg Tarlapan, Reinhard Rasche, Thomas Jung Parallel object-oriented modeling and visualization in OpenMV environment. Proceedings of GraphiCon'99. Publisher: Dialog-MSU, 1999. Pp. 206-213.
4. Stanislav Klimenko, Igor Nikitin, Valery Burkin, Vitaly Semenov, Oleg Tarlapan, Hans Hagen Visualization in string theory. Proceedings of GraphiCon'99. Publisher: Dialog-MSU, 1999. Pp. 301-308.

Back to the list of publications of ISP RAS