Arkadiusz Bukowiec, Jacek Tkacz, Marian Adamski, Remigiusz Wisniewski. Dual synthesis of Petri net based dependable logic controllers for safety critical systems. In 7th International Conference on Human System Interactions, HSI 2014, Costa da Caparica, Portugal, June 16-18, 2014. pages 243-248, IEEE, 2014. [doi]
@inproceedings{BukowiecTAW14,
title = {Dual synthesis of Petri net based dependable logic controllers for safety critical systems},
author = {Arkadiusz Bukowiec and Jacek Tkacz and Marian Adamski and Remigiusz Wisniewski},
year = {2014},
doi = {10.1109/HSI.2014.6860483},
url = {https://doi.org/10.1109/HSI.2014.6860483},
researchr = {https://researchr.org/publication/BukowiecTAW14},
cites = {0},
citedby = {0},
pages = {243-248},
booktitle = {7th International Conference on Human System Interactions, HSI 2014, Costa da Caparica, Portugal, June 16-18, 2014},
publisher = {IEEE},
}