S. Lampérière-Couffin, O. Rossi, Jean-Marc Roussel, Jean-Jacques Lesage. Formal validation of PLC programs: A survey. In 5th European Control Conference, ECC 1999, Karlsruhe, Germany, August 31 - September 3, 1999. pages 2170-2175, IEEE, 1999. [doi]
@inproceedings{Lamperiere-Couffin99,
title = {Formal validation of PLC programs: A survey},
author = {S. Lampérière-Couffin and O. Rossi and Jean-Marc Roussel and Jean-Jacques Lesage},
year = {1999},
doi = {10.23919/ECC.1999.7099641},
url = {https://doi.org/10.23919/ECC.1999.7099641},
researchr = {https://researchr.org/publication/Lamperiere-Couffin99},
cites = {0},
citedby = {0},
pages = {2170-2175},
booktitle = {5th European Control Conference, ECC 1999, Karlsruhe, Germany, August 31 - September 3, 1999},
publisher = {IEEE},
isbn = {978-3-9524173-5-5},
}