@misc{Siedlecka-Lamch_Olga_Using,
 author={Siedlecka-Lamch Olga and Kurkowski Mirosław and Piątkowski Jacek},
 howpublished={online},
 publisher={Wydaw. Politechniki Częstochowskiej},
 language={eng},
 type={artykuł},
 title={Using probabilistic automata for security protocols verification},
 keywords={verification of security protocols, probabilistic methods},
}