Formalization and Simulation Telecommunication Protocols and Systems using PLA Method. ELEKTRON ELEKTROTECH [Internet]. 2005 Apr. 19 [cited 2025 Dec. 5];60(4):5-10. Available from: https://eejournal.ktu.lt/index.php/elt/article/view/10422