Tord Alenljung, Bengt Lennartson. Formal verification of PLC controlled systems using Sensor Graphs. In IEEE Conference on Automation Science and Engineering, CASE 2009, Bangalore, India, 22-25 August, 2011. pages 164-170, IEEE, 2009. [doi]
@inproceedings{AlenljungL09,
title = {Formal verification of PLC controlled systems using Sensor Graphs},
author = {Tord Alenljung and Bengt Lennartson},
year = {2009},
doi = {10.1109/COASE.2009.5234187},
url = {http://dx.doi.org/10.1109/COASE.2009.5234187},
researchr = {https://researchr.org/publication/AlenljungL09},
cites = {0},
citedby = {0},
pages = {164-170},
booktitle = {IEEE Conference on Automation Science and Engineering, CASE 2009, Bangalore, India, 22-25 August, 2011},
publisher = {IEEE},
isbn = {978-1-4244-4578-3},
}