Lyudmila Matvyeyeva, Sergiy Kryvyy, Mariya Lopatina. Automatic Analysis and Verification of MSC-Specified Telecommunication System. In Helder Araújo, Alves Vieira, José Braz, Bruno Encarnação, Marina Carvalho, editors, ICINCO 2004, Proceedings of the First International Conference on Informatics in Control, Automation and Robotics, Setúbal, Portugal, August 25-28, 2004. pages 402-405, INSTICC Press, 2004.
Abstract is missing.