@misc{Jakubowska_Gizela_Formalne,
 author={Jakubowska, Gizela and Pejaś, Jerzy},
 howpublished={online},
 publisher={Wydawnictwo Politechniki Śląskiej},
 language={pol},
 title={Formalne metody analizy kryptograficznych protokołów uwierzytelniania przy zastosowaniu kolorowych sieci Petriego},
 type={artykuł},
 keywords={Politechnika Śląska, automatyka},
}