Reference Search

Warning
Some papers have malformed authors, please correct this before using these references.

Favourites

For Word

[n]	J-C. Tournier, B. Fern?índez Adiego, and I. D. Lopez-Miguel, “PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller”, in Proc. ICALEPCS'21, Shanghai, China, Oct. 2021, pp. 248-252. doi:10.18429/JACoW-ICALEPCS2021-MOPV042

For LaTeX

%\cite{J-C:ICALEPCS21-MOPV042} \bibitem{J-C:ICALEPCS21-MOPV042} J-C. Tournier, B. Fern?índez Adiego, and I. D. Lopez-Miguel, \textquotedblleft{PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller}\textquotedblright, in \emph{Proc. ICALEPCS’21}, Shanghai, China, Oct. 2021, pp. 248--252. \url{doi:10.18429/JACoW-ICALEPCS2021-MOPV042}

Use Complete Form

For BibTeX

@inproceedings{j-c:icalepcs21-mopv042, author = {J-C. Tournier and B. Fern?índez Adiego and I. D. Lopez-Miguel}, title = {{PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller}}, booktitle = {Proc. ICALEPCS'21}, pages = {248--252}, paper = {MOPV042}, venue = {Shanghai, China}, series = {International Conference on Accelerator and Large Experimental Physics Control Systems}, number = {18}, publisher = {JACoW Publishing, Geneva, Switzerland}, month = {2}, year = {2022}, issn = {2226-0358}, isbn = {978-3-95-450221-9}, doi = {10.18429/JACoW-ICALEPCS2021-MOPV042}, url = {https://jacow.org/icalepcs2021/papers/MOPV042.pdf}, language = {english} }

References

J-C. Tournier, B. Fern?índez Adiego, and I. D. Lopez-Miguel, “PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller”, in Proc. 18th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'21), Shanghai, China, Oct. 2021, pp. 248-252.

Back to search