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]	E. Esarey et al., “A 100 MeV Proof-of Principle Laser Wakefield Accelerator Experiment”, in Proc. PAC'93, Washington D.C., USA, Mar. 1993, pp. 2632-2635. 

[n]	M. Zanierato et al., “Nb3Sn Films Depositions from Targets Synthesized via Liquid Tin Diffusion”, in Proc. SRF'21, East Lansing, MI, USA, Jun.-Jul. 2021, pp. 452. doi:10.18429/JACoW-SRF2021-TUPCAV006

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{Esarey:PAC93} \bibitem{Esarey:PAC93} E. Esarey \emph{et al.}, \textquotedblleft{A 100 MeV Proof-of Principle Laser Wakefield Accelerator Experiment}\textquotedblright, in \emph{Proc. PAC’93}, Washington D.C., USA, Mar. 1993, pp. 2632--2635. %\cite{Zanierato:SRF21-TUPCAV006} \bibitem{Zanierato:SRF21-TUPCAV006} M. Zanierato \emph{et al.}, \textquotedblleft{Nb3Sn Films Depositions from Targets Synthesized via Liquid Tin Diffusion}\textquotedblright, in \emph{Proc. SRF’21}, East Lansing, MI, USA, Jun.-Jul. 2021, pp. 452. \doi{10.18429/JACoW-SRF2021-TUPCAV006}

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{esarey:pac93, author = {E. Esarey and others}, title = {{A 100 MeV Proof-of Principle Laser Wakefield Accelerator Experiment}}, booktitle = {Proc. PAC'93}, pages = {2632--2635}, paper = {}, venue = {Washington D.C., USA, Mar. 1993}, publisher = {JACoW Publishing, Geneva, Switzerland}, language = {english} } @inproceedings{zanierato:srf21-tupcav006, author = {M. Zanierato and others}, title = {{Nb3Sn Films Depositions from Targets Synthesized via Liquid Tin Diffusion}}, booktitle = {Proc. SRF'21}, pages = {452}, paper = {TUPCAV006}, venue = {East Lansing, MI, USA}, series = {International Conference on RF Superconductivity}, number = {20}, publisher = {JACoW Publishing, Geneva, Switzerland}, month = {10}, year = {2022}, issn = {2673-5504}, isbn = {978-3-95-450233-2}, doi = {10.18429/JACoW-SRF2021-TUPCAV006}, url = {https://jacow.org/srf2021/papers/TUPCAV006.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.
• E. Esarey et al., “A 100 MeV Proof-of Principle Laser Wakefield Accelerator Experiment”, in Proc. 15th Particle Accelerator Conf. (PAC'93), Washington D.C., USA, Mar. 1993, pp. 2632-2635.
• M. Zanierato et al., “Nb3Sn Films Depositions from Targets Synthesized via Liquid Tin Diffusion”, in Proc. 20th International Conference on RF Superconductivity (SRF'21), East Lansing, MI, USA, Jun.-Jul. 2021, pp. 452.