Minea, Marius, Cornel Izbasa, and Calin Jebelean. “EXPERIENCE WITH FORMAL VERIFICATION OF SDL PROTOCOLS”. International Journal of Computing 2, no. 3 (August 1, 2014): 63-68. Accessed May 2, 2024. https://www.computingonline.net/computing/article/view/231.