Minea, M., Izbasa, C. and Jebelean, C. 2014. EXPERIENCE WITH FORMAL VERIFICATION OF SDL PROTOCOLS. International Journal of Computing. 2, 3 (Aug. 2014), 63-68. DOI:https://doi.org/10.47839/ijc.2.3.231.