Reference Search

Favourites

For Word

[n]	E. Blanco Vinuela, D. Darvas, and V. Molnar, “PLCverif Re-engineered: An Open Platform for the Formal Analysis of PLC Programs”, in Proc. ICALEPCS'19, New York, NY, USA, Oct. 2019, pp. 21. doi:10.18429/JACoW-ICALEPCS2019-MOBPP01

[n]	L. Garolfi, C. Bruni, M. El Khaldi, and C. Vallerand, “Beam Dynamics for the ThomX Linac”, in Proc. IPAC'17, Copenhagen, Denmark, May 2017, pp. 4121-4123. doi:10.18429/JACoW-IPAC2017-THPIK008

For LaTeX

%\cite{Blanco Vinuela:ICALEPCS19-MOBPP01} \bibitem{Blanco Vinuela:ICALEPCS19-MOBPP01} E. Blanco Vinuela, D. Darvas, and V. Molnar, \textquotedblleft{PLCverif Re-engineered: An Open Platform for the Formal Analysis of PLC Programs}\textquotedblright, in \emph{Proc. ICALEPCS’19}, New York, NY, USA, Oct. 2019, pp. 21. \doi{10.18429/JACoW-ICALEPCS2019-MOBPP01} %\cite{Garolfi:IPAC17-THPIK008} \bibitem{Garolfi:IPAC17-THPIK008} L. Garolfi, C. Bruni, M. El Khaldi, and C. Vallerand, \textquotedblleft{Beam Dynamics for the ThomX Linac}\textquotedblright, in \emph{Proc. IPAC’17}, Copenhagen, Denmark, May 2017, pp. 4121--4123. \doi{10.18429/JACoW-IPAC2017-THPIK008}

For BibTeX

@inproceedings{blanco vinuela:icalepcs19-mobpp01, author = {E. Blanco Vinuela and D. Darvas and V. Molnar}, title = {{PLCverif Re-engineered: An Open Platform for the Formal Analysis of PLC Programs}}, booktitle = {Proc. ICALEPCS'19}, pages = {21}, paper = {MOBPP01}, venue = {New York, NY, USA}, series = {International Conference on Accelerator and Large Experimental Physics Control Systems}, number = {17}, publisher = {JACoW Publishing, Geneva, Switzerland}, month = {10}, year = {2020}, issn = {2226-0358}, isbn = {978-3-95-450209-7}, doi = {10.18429/JACoW-ICALEPCS2019-MOBPP01}, url = {https://jacow.org/icalepcs2019/papers/MOBPP01.pdf}, language = {english} } @inproceedings{garolfi:ipac17-thpik008, author = {L. Garolfi and C. Bruni and M. El Khaldi and C. Vallerand}, title = {{Beam Dynamics for the ThomX Linac}}, booktitle = {Proc. IPAC'17}, pages = {4121--4123}, paper = {THPIK008}, venue = {Copenhagen, Denmark, May 2017}, publisher = {JACoW Publishing, Geneva, Switzerland}, doi = {10.18429/JACoW-IPAC2017-THPIK008}, url = {https://jacow.org/ipac2017/papers/THPIK008.pdf}, language = {english} }

References

• E. Blanco Vinuela, D. Darvas, and V. Molnar, “PLCverif Re-engineered: An Open Platform for the Formal Analysis of PLC Programs”, in Proc. 17th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'19), New York, NY, USA, Oct. 2019, pp. 21.
• L. Garolfi, C. Bruni, M. El Khaldi, and C. Vallerand, “Beam Dynamics for the ThomX Linac”, in Proc. 8th Int. Particle Accelerator Conf. (IPAC'17), Copenhagen, Denmark, May 2017, pp. 4121-4123.