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