Teodorczuk P, Penczek W. Specyfikacja i automatyczna analiza protokołu komunikacyjnego. SI [Internet]. 2003 Dec. 15 [cited 2024 May 5];2(1):49-5. Available from: https://czasopisma.uph.edu.pl/studiainformatica/article/view/2904