@misc{Zbrzezny_Agnieszka_M._Comparing_2017,
 author={Zbrzezny, Agnieszka M.},
 type={artykuł},
 publisher={Wydawnictwo im. Stanisława Podobińskiego Akademii im. Jana Długosza w Częstochowie},
 title={Comparing SAT- and SMT- based bounded model checking for ECTL properties},
 address={Częstochowa},
 year={2017},
 language={eng},
}