@misc{Szelest_Marcin_Automatyczna,
 author={Szelest, Marcin},
 howpublished={online},
 language={pol},
 title={Automatyczna weryfikacja formalna układu elektronicznego w oparciu o schemat ideowy na potrzeby projektowania urządzeń elektronicznych o dużej niezawodności},
 type={rozprawa doktorska},
}