Natalia Ioustinova, Natalia Sidorova. A Transformation of SDL Specifications - A Step towards the Verification. In Dines Bjørner, Manfred Broy, Alexandre V. Zamulin, editors, Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers. Volume 2244 of Lecture Notes in Computer Science, pages 64-78, Springer, 2001. [doi]
Abstract is missing.