@InCollection{Grobelna:2011,
author
=
"I.Grobelna",
title
=
"Formal verification of embedded logic controller specification with computer deduction in temporal logic",
pages
=
"59--60",
year
=
"2011",
booktitle
=
"Advanced numerical modellingInternational Interdyscyplinary PhD Workshop - IIPhDW ISBN: 9788361956020",
editor
=
"Sikora J., Wójcik W., Wójtowicz S.",
publisher
=
"Electrotechnical Institute",
address
=
"Warszawa",
}