@misc{Macyna_Wojciech_Weryfikacja_2003,
 author={Macyna, Wojciech},
 contributor={Mazur, Zygmunt. Promotor},
 year={2003},
 rights={Wszystkie prawa zastrzeżone (Copyright)},
 publisher={Politechnika Wrocławska},
 language={pol},
 type={rozprawa doktorska},
 title={Weryfikacja dynamicznych więzów integralności specyfikowanych w logice temporalnej z operatorami metrycznymi},
 keywords={logika temporalna, bazy danych},
}