@misc{Rzońca_Dariusz_Metodyka,
 author={Rzońca, Dariusz},
 howpublished={online},
 language={pol},
 title={Metodyka specyfikacji i walidacji polowych protokołów komunikacyjnych z wykorzystaniem czasowych kolorowanych sieci Petriego},
 title={Methodology for the specification and validation of field communication protocols using timed colored Petri nets},
 type={rozprawa doktorska},
}