@misc{Kowalski_Marcin_Metody_2013, author={Kowalski, Marcin}, contributor={Magott, Jan. Promotor}, year={2013}, rights={Wszystkie prawa zastrzeżone (Copyright)}, publisher={Politechnika Wrocławska}, language={pol}, type={rozprawa doktorska}, title={Metody analizy systemów oparte na czasowych rozszerzeniach drzew niezdatności}, keywords={niezawodność, drzewa niezdatności, zależności czasowe, diagramy aktywności, UML (język modelowania), sieci Petriego}, }