@misc{Woźna-Szcześniak_Bożena_SAT-based_2010,
 author={Woźna-Szcześniak, Bożena and Zbrzezny, Andrzej},
 type={artykuł},
 publisher={Wydawnictwo Akademii im. Jana Długosza w Częstochowie},
 title={SAT-based searching for k-quasi-optimal runs in weighted timed automata},
 address={Częstochowa},
 year={2010},
 language={eng},
}