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. 

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.

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} }

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.