@misc{Zbrzezny_Agnieszka_A_2016,
 author={Zbrzezny, Agnieszka},
 type={artykuł},
 publisher={Wydawnictwo im. Stanisława Podobińskiego Akademii im. Jana Długosza w Częstochowie},
 title={A comparison of SMT-solvers for timed weighted interpreted systems},
 address={Częstochowa},
 year={2016},
 language={eng},
}