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