@InProceedings{Doligalski:2015,
author
=
"M.Doligalski and J.Tkacz and T.Gratkowski",
title
=
"Model checking in parallel logic controllers design and verification",
booktitle
=
"Proceedings of the 2015 Federated Conference on Software Development and Object Technologies; ISBN: 9783319465357",
address
=
"Žilina, Słowacja",
publisher
=
"Cham Springer International Publishing ",
volume
=
"Advances in Intelligent Systems and Computing, Vol. 511",
pages
=
"35--53",
year
=
"2015",
}