Reference Search

Favourites

For Word

[n]	F. Valentini, T. Hakulinen, L. Hammouti, T. Ladzinski, and P. Ninin, “Formal Methodology for Safety-Critical Systems Engineering at CERN”, in Proc. ICALEPCS'13, San Francisco, CA, USA, Oct. 2013, paper TUCOCA04, pp. 918-921. 

[n]	G. Cavallari, Ph. Gayet, G. Geschonke, D. Kaiser, and J. M. Jimenez, “Beam Related Thermal Losses on the Cryogenic and Vacuum Systems of LEP”, in Proc. SRF'97, Padova, Italy, Oct. 1997, paper SRF97A13, pp. 122-132. 

[n]	J. Sheehan and R. Witkover, “The RF System for the AGS 200-MeV Linac”, in Proc. LINAC'66, Los Alamos, NM, USA, Oct. 1966, paper IX-02, pp. 457-459. 

For LaTeX

%\cite{Valentini:ICALEPCS13-TUCOCA04} \bibitem{Valentini:ICALEPCS13-TUCOCA04} F. Valentini, T. Hakulinen, L. Hammouti, T. Ladzinski, and P. Ninin, \textquotedblleft{Formal Methodology for Safety-Critical Systems Engineering at CERN}\textquotedblright, in \emph{Proc. ICALEPCS’13}, San Francisco, CA, USA, Oct. 2013, paper TUCOCA04, pp. 918--921. %\cite{Cavallari:SRF97-SRF97A13} \bibitem{Cavallari:SRF97-SRF97A13} G. Cavallari, Ph. Gayet, G. Geschonke, D. Kaiser, and J. M. Jimenez, \textquotedblleft{Beam Related Thermal Losses on the Cryogenic and Vacuum Systems of LEP}\textquotedblright, in \emph{Proc. SRF’97}, Padova, Italy, Oct. 1997, paper SRF97A13, pp. 122--132. %\cite{Sheehan:LINAC66-IX-02} \bibitem{Sheehan:LINAC66-IX-02} J. Sheehan and R. Witkover, \textquotedblleft{The RF System for the AGS 200-MeV Linac}\textquotedblright, in \emph{Proc. LINAC’66}, Los Alamos, NM, USA, Oct. 1966, paper IX--02, pp. 457--459.

For BibTeX

@inproceedings{valentini:icalepcs13-tucoca04, author = {F. Valentini and T. Hakulinen and L. Hammouti and T. Ladzinski and P. Ninin}, title = {{Formal Methodology for Safety-Critical Systems Engineering at CERN}}, booktitle = {Proc. ICALEPCS'13}, pages = {918--921}, paper = {TUCOCA04}, venue = {San Francisco, CA, USA, Oct. 2013}, publisher = {JACoW Publishing, Geneva, Switzerland}, url = {https://jacow.org/ICALEPCS2013/papers/TUCOCA04.pdf}, language = {english} } @inproceedings{cavallari:srf97-srf97a13, author = {G. Cavallari and Ph. Gayet and G. Geschonke and D. Kaiser and J. M. Jimenez}, title = {{Beam Related Thermal Losses on the Cryogenic and Vacuum Systems of LEP}}, booktitle = {Proc. SRF'97}, pages = {122--132}, paper = {SRF97A13}, venue = {Padova, Italy, Oct. 1997}, publisher = {JACoW Publishing, Geneva, Switzerland}, url = {https://jacow.org/SRF97/papers/SRF97A13.pdf}, language = {english} } @inproceedings{sheehan:linac66-ix-02, author = {J. Sheehan and R. Witkover}, title = {{The RF System for the AGS 200-MeV Linac}}, booktitle = {Proc. LINAC'66}, pages = {457--459}, paper = {IX-02}, venue = {Los Alamos, NM, USA, Oct. 1966}, series = {Linear Accelerator Conference}, publisher = {JACoW Publishing, Geneva, Switzerland}, language = {english} }

References

• F. Valentini, T. Hakulinen, L. Hammouti, T. Ladzinski, and P. Ninin, “Formal Methodology for Safety-Critical Systems Engineering at CERN”, in Proc. 14th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'13), San Francisco, CA, USA, Oct. 2013, paper TUCOCA04, pp. 918-921.
• G. Cavallari, Ph. Gayet, G. Geschonke, D. Kaiser, and J. M. Jimenez, “Beam Related Thermal Losses on the Cryogenic and Vacuum Systems of LEP”, in Proc. 8th Int. Conf. RF Superconductivity (SRF'97), Padova, Italy, Oct. 1997, paper SRF97A13, pp. 122-132.
• J. Sheehan and R. Witkover, “The RF System for the AGS 200-MeV Linac”, in Proc. 1966 Linear Accelerator Conf. (LINAC'66), Los Alamos, NM, USA, Oct. 1966, paper IX-02, pp. 457-459.