@misc{Krawczyk_Urszula_Effective,
 author={Krawczyk, Urszula and Sapiecha, Piotr},
 howpublished={online},
 publisher={Wydaw. Uniwersytetu Marii Curie-Skłodowskiej},
 language={eng},
 type={czasopismo},
 title={Effective reduction of cryptographic protocols specification for model-checking with Spin},
}