@misc{Szelest_Marcin_Automatyczna,
 author={Szelest, Marcin},
 howpublished={online},
 language={pol},
 type={streszczenie rozprawy doktorskiej},
 title={Automatyczna weryfikacja formalna układu elektronicznego w oparciu o schemat ideowy na potrzeby projektowania urządzeń elektronicznych o dużej niezawodności},
 keywords={modelowanie, obciążenie elementów, optymalizacja, proces projektowy, projektowanie układów elektronicznych, urządzenia elektroniczne, weryfikacja formalna, projektowanie inżynierskie, schematy elektryczne, układy elektroniczne},
}