Minea, M., Izbasa, C., & Jebelean, C. (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