Minea M, Izbasa C, Jebelean C. EXPERIENCE WITH FORMAL VERIFICATION OF SDL PROTOCOLS. IJC [Internet]. 2014Aug.1 [cited 2024Dec.4];2(3):63-8. Available from: https://computingonline.net/computing/article/view/231