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.
@inproceedings{MatvyeyevaKL04,
title = {Automatic Analysis and Verification of MSC-Specified Telecommunication System},
author = {Lyudmila Matvyeyeva and Sergiy Kryvyy and Mariya Lopatina},
year = {2004},
tags = {analysis},
researchr = {https://researchr.org/publication/MatvyeyevaKL04},
cites = {0},
citedby = {0},
pages = {402-405},
booktitle = {ICINCO 2004, Proceedings of the First International Conference on Informatics in Control, Automation and Robotics, Setúbal, Portugal, August 25-28, 2004},
editor = {Helder Araújo and Alves Vieira and José Braz and Bruno Encarnação and Marina Carvalho},
publisher = {INSTICC Press},
isbn = {972-8865-12-0},
}