Reference Search

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

[n]	V. K. Plotnikov, “Engineering Design of ITEP Proton Linac for Nuclear Waste Transmutation”, in Proc. LINAC'96, Geneva, Switzerland, Aug. 1996, paper MOP80, pp. 252-254. 

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. \doi{10.18429/JACoW-ICALEPCS2021-MOPV042} %\cite{Plotnikov:LINAC96-MOP80} \bibitem{Plotnikov:LINAC96-MOP80} V. K. Plotnikov, \textquotedblleft{Engineering Design of ITEP Proton Linac for Nuclear Waste Transmutation}\textquotedblright, in \emph{Proc. LINAC’96}, Geneva, Switzerland, Aug. 1996, paper MOP80, pp. 252--254.

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} } @inproceedings{plotnikov:linac96-mop80, author = {V. K. Plotnikov}, title = {{Engineering Design of ITEP Proton Linac for Nuclear Waste Transmutation}}, booktitle = {Proc. LINAC'96}, pages = {252--254}, paper = {MOP80}, venue = {Geneva, Switzerland, Aug. 1996}, series = {Linear Accelerator Conference}, publisher = {JACoW Publishing, Geneva, Switzerland}, url = {https://jacow.org/l96/papers/MOP80.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.
• V. K. Plotnikov, “Engineering Design of ITEP Proton Linac for Nuclear Waste Transmutation”, in Proc. 18th Int. Linear Accelerator Conf. (LINAC'96), Geneva, Switzerland, Aug. 1996, paper MOP80, pp. 252-254.