Minea, Marius, Cornel Izbasa, and Calin Jebelean. 2014. “EXPERIENCE WITH FORMAL VERIFICATION OF SDL PROTOCOLS”. International Journal of Computing 2 (3):63-68. https://doi.org/10.47839/ijc.2.3.231.