@misc{Szymoniak_Sabina_Timed,
 author={Szymoniak Sabina and Kurkowski Mirosław and Piątkowski Jacek},
 howpublished={online},
 publisher={Wydaw. Politechniki Częstochowskiej},
 language={eng},
 type={artykuł},
 title={Timed models of security protocols including delays in the network},
 keywords={computer science, mathematical models},
}