JaCoW Logo

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

Use Complete Form

For BibTeX

References

Back to search