@misc{Pranevicius_Henrikas_Integrated,
 author={Pranevicius, Henrikas},
 howpublished={online},
 publisher={Instytut Łączności - Państwowy Instytut Badawczy, Warszawa},
 language={ang},
 title={Integrated analysis of communication protocols by means of PLA formalism, Journal of Telecommunications and Information Technology, 2004, nr 4},
 type={artykuł},
 keywords={simulation, communication protocols, validation, piece-linear aggregates, ESTELLE/Ag specification language},
}