%0 Conference Paper %1 conf/sies/DarvasMV16 %A Darvas, Dániel %A Majzik, István %A Viñuela, Enrique Blanco %B SIES %D 2016 %I IEEE %K dblp %P 29-36 %T Conformance checking for programmable logic controller programs and specifications. %U http://dblp.uni-trier.de/db/conf/sies/sies2016.html#DarvasMV16 %@ 978-1-5090-2282-3

@inproceedings{conf/sies/DarvasMV16, added-at = {2017-06-05T00:00:00.000+0200}, author = {Darvas, Dániel and Majzik, István and Viñuela, Enrique Blanco}, biburl = {https://www.bibsonomy.org/bibtex/22998d2d7065a45109d0250733e8270cf/dblp}, booktitle = {SIES}, crossref = {conf/sies/2016}, ee = {https://doi.org/10.1109/SIES.2016.7509409}, interhash = {2aa839d6b724894d224c1066a2e3d8d8}, intrahash = {2998d2d7065a45109d0250733e8270cf}, isbn = {978-1-5090-2282-3}, keywords = {dblp}, pages = {29-36}, publisher = {IEEE}, timestamp = {2019-10-17T22:02:05.000+0200}, title = {Conformance checking for programmable logic controller programs and specifications.}, url = {http://dblp.uni-trier.de/db/conf/sies/sies2016.html#DarvasMV16}, year = 2016 }