Reference Search

Favourites

For Word

[n]	D. Darvas, E. Blanco Vinuela, and B. Fernandez Adiego, “PLCverif: A Tool to Verify PLC Programs Based on Model Checking Techniques”, in Proc. ICALEPCS'15, Melbourne, Australia, Oct. 2015, pp. 911-914. doi:10.18429/JACoW-ICALEPCS2015-WEPGF092

[n]	C. Belver-Aguilar, A. Faus-Golfe, M. J. Barnes, J. Gomez, D. Gutierrez Arribas, and F. Toral, “Design and Manufacturing Description of the Prototype Striplines for the Extraction Kicker of the CLIC Damping Rings”, in Proc. IPAC'13, Shanghai, China, May 2013, paper MOPWO022, pp. 930-932. 

[n]	R. Calaga, R. Miyamoto, R. Tomas, and G. Vanbavinckhove, “Beta* Measurement in the LHC Based on K-modulation”, in Proc. IPAC'11, San Sebastian, Spain, Sep. 2011, paper TUPZ027, pp. 1864-1866. 

For LaTeX

%\cite{Darvas:ICALEPCS15-WEPGF092} \bibitem{Darvas:ICALEPCS15-WEPGF092} D. Darvas, E. Blanco Vinuela, and B. Fernandez Adiego, \textquotedblleft{PLCverif: A Tool to Verify PLC Programs Based on Model Checking Techniques}\textquotedblright, in \emph{Proc. ICALEPCS’15}, Melbourne, Australia, Oct. 2015, pp. 911--914. \doi{10.18429/JACoW-ICALEPCS2015-WEPGF092} %\cite{Belver-Aguilar:IPAC13-MOPWO022} \bibitem{Belver-Aguilar:IPAC13-MOPWO022} C. Belver-Aguilar, A. Faus-Golfe, M. J. Barnes, J. Gomez, D. Gutierrez Arribas, and F. Toral, \textquotedblleft{Design and Manufacturing Description of the Prototype Striplines for the Extraction Kicker of the CLIC Damping Rings}\textquotedblright, in \emph{Proc. IPAC’13}, Shanghai, China, May 2013, paper MOPWO022, pp. 930--932. %\cite{Calaga:IPAC11-TUPZ027} \bibitem{Calaga:IPAC11-TUPZ027} R. Calaga, R. Miyamoto, R. Tomas, and G. Vanbavinckhove, \textquotedblleft{Beta* Measurement in the LHC Based on K-modulation}\textquotedblright, in \emph{Proc. IPAC’11}, San Sebastian, Spain, Sep. 2011, paper TUPZ027, pp. 1864--1866.

For BibTeX

@inproceedings{darvas:icalepcs15-wepgf092, author = {D. Darvas and E. Blanco Vinuela and B. Fernandez Adiego}, title = {{PLCverif: A Tool to Verify PLC Programs Based on Model Checking Techniques}}, booktitle = {Proc. ICALEPCS'15}, pages = {911--914}, paper = {WEPGF092}, venue = {Melbourne, Australia, Oct. 2015}, publisher = {JACoW Publishing, Geneva, Switzerland}, doi = {10.18429/JACoW-ICALEPCS2015-WEPGF092}, url = {https://jacow.org/ICALEPCS2015/papers/WEPGF092.pdf}, language = {english} } @inproceedings{belver-aguilar:ipac13-mopwo022, author = {C. Belver-Aguilar and A. Faus-Golfe and M. J. Barnes and J. Gomez and D. Gutierrez Arribas and F. Toral}, title = {{Design and Manufacturing Description of the Prototype Striplines for the Extraction Kicker of the CLIC Damping Rings}}, booktitle = {Proc. IPAC'13}, pages = {930--932}, paper = {MOPWO022}, venue = {Shanghai, China, May 2013}, publisher = {JACoW Publishing, Geneva, Switzerland}, url = {https://jacow.org/IPAC2013/papers/MOPWO022.pdf}, language = {english} } @inproceedings{calaga:ipac11-tupz027, author = {R. Calaga and R. Miyamoto and R. Tomas and G. Vanbavinckhove}, title = {{Beta* Measurement in the LHC Based on K-modulation}}, booktitle = {Proc. IPAC'11}, pages = {1864--1866}, paper = {TUPZ027}, venue = {San Sebastian, Spain}, series = {International Particle Accelerator Conference}, number = {2}, publisher = {JACoW Publishing, Geneva, Switzerland}, month = {9}, year = {2011}, isbn = {978-9-29-083366-6}, url = {https://jacow.org/IPAC2011/papers/TUPZ027.pdf}, language = {english} }

References

• D. Darvas, E. Blanco Vinuela, and B. Fernandez Adiego, “PLCverif: A Tool to Verify PLC Programs Based on Model Checking Techniques”, in Proc. 15th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'15), Melbourne, Australia, Oct. 2015, pp. 911-914.
• C. Belver-Aguilar, A. Faus-Golfe, M. J. Barnes, J. Gomez, D. Gutierrez Arribas, and F. Toral, “Design and Manufacturing Description of the Prototype Striplines for the Extraction Kicker of the CLIC Damping Rings”, in Proc. 4th Int. Particle Accelerator Conf. (IPAC'13), Shanghai, China, May 2013, paper MOPWO022, pp. 930-932.
• R. Calaga, R. Miyamoto, R. Tomas, and G. Vanbavinckhove, “Beta* Measurement in the LHC Based on K-modulation”, in Proc. 2nd Int. Particle Accelerator Conf. (IPAC'11), San Sebastian, Spain, Sep. 2011, paper TUPZ027, pp. 1864-1866.