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]
@inproceedings{IoustinovaS01, title = {A Transformation of SDL Specifications - A Step towards the Verification}, author = {Natalia Ioustinova and Natalia Sidorova}, year = {2001}, url = {http://link.springer.de/link/service/series/0558/bibs/2244/22440064.htm}, tags = {transformation}, researchr = {https://researchr.org/publication/IoustinovaS01}, cites = {0}, citedby = {0}, pages = {64-78}, booktitle = {Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers}, editor = {Dines Bjørner and Manfred Broy and Alexandre V. Zamulin}, volume = {2244}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-43075-X}, }