@InProceedings{Bukowiec:2014,
author
=
"A.Bukowiec and J.Tkacz and M.Adamski and R.Wiśniewski",
title
=
"Dual synthesis of Petri net based dependable logic controllers for safety critical systems",
booktitle
=
"7th International Conference on Human System Interactions - HSI 2014 USB proceedings; ISBN: 9781479947140",
address
=
"Lisbon, Portugalia",
publisher
=
"New York IEEE ",
pages
=
"243--248",
year
=
"2014",
}