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