@InProceedings{Doligalski:2015,
author
=
"M.Doligalski and J.Tkacz",
title
=
"In-circuit verification of logic controllers",
booktitle
=
"Autonomous Systems 2015 proceedings of the 8th GI workshop; ISBN: 9783183842100",
address
=
"-, Niemcy",
publisher
=
"Düsseldorf VDI Verlag GmbH ",
volume
=
"Fortschritt-Berichte VDI, Nr 842",
pages
=
"244--254",
year
=
"2015",
}