Reference Search

Favourites

For Word

[n]	D. Darvas, I. Majzik, and E. Blanco Vinuela, “What is Special About PLC Software Model Checking?”, in Proc. ICALEPCS'17, Barcelona, Spain, Oct. 2017, pp. 1781-1786. doi:10.18429/JACoW-ICALEPCS2017-THPHA159

[n]	J. Lewis and P. Heymans, “The Program Line Sequencer, A New Approach”, in Proc. PAC'87, Washington D.C., USA, Mar. 1987, pp. 640-643. 

[n]	J. P. Koutchouk and J. Poole, “Data Management for LEP Control”, in Proc. PAC'87, Washington D.C., USA, Mar. 1987, pp. 683-686. 

[n]	E. Ciapala et al., “Commissioning of the 400 MHz LHC RF System”, in Proc. EPAC'08, Genoa, Italy, Jun. 2008, paper MOPP124, pp. 847-849. 

For LaTeX

%\cite{Darvas:ICALEPCS17-THPHA159} \bibitem{Darvas:ICALEPCS17-THPHA159} D. Darvas, I. Majzik, and E. Blanco Vinuela, \textquotedblleft{What is Special About PLC Software Model Checking?}\textquotedblright, in \emph{Proc. ICALEPCS’17}, Barcelona, Spain, Oct. 2017, pp. 1781--1786. \doi{10.18429/JACoW-ICALEPCS2017-THPHA159} %\cite{Lewis:PAC87} \bibitem{Lewis:PAC87} J. Lewis and P. Heymans, \textquotedblleft{The Program Line Sequencer, A New Approach}\textquotedblright, in \emph{Proc. PAC’87}, Washington D.C., USA, Mar. 1987, pp. 640--643. %\cite{Koutchouk:PAC87} \bibitem{Koutchouk:PAC87} J. P. Koutchouk and J. Poole, \textquotedblleft{Data Management for LEP Control}\textquotedblright, in \emph{Proc. PAC’87}, Washington D.C., USA, Mar. 1987, pp. 683--686. %\cite{Ciapala:EPAC08-MOPP124} \bibitem{Ciapala:EPAC08-MOPP124} E. Ciapala \emph{et al.}, \textquotedblleft{Commissioning of the 400 MHz LHC RF System}\textquotedblright, in \emph{Proc. EPAC’08}, Genoa, Italy, Jun. 2008, paper MOPP124, pp. 847--849.

For BibTeX

@inproceedings{darvas:icalepcs17-thpha159, author = {D. Darvas and I. Majzik and E. Blanco Vinuela}, title = {{What is Special About PLC Software Model Checking?}}, booktitle = {Proc. ICALEPCS'17}, pages = {1781--1786}, paper = {THPHA159}, venue = {Barcelona, Spain, Oct. 2017}, publisher = {JACoW Publishing, Geneva, Switzerland}, doi = {10.18429/JACoW-ICALEPCS2017-THPHA159}, url = {https://jacow.org/icalepcs2017/papers/THPHA159.pdf}, language = {english} } @inproceedings{lewis:pac87, author = {J. Lewis and P. Heymans}, title = {{The Program Line Sequencer, A New Approach}}, booktitle = {Proc. PAC'87}, pages = {640--643}, paper = {}, venue = {Washington D.C., USA, Mar. 1987}, publisher = {JACoW Publishing, Geneva, Switzerland}, language = {english} } @inproceedings{koutchouk:pac87, author = {J. P. Koutchouk and J. Poole}, title = {{Data Management for LEP Control}}, booktitle = {Proc. PAC'87}, pages = {683--686}, paper = {}, venue = {Washington D.C., USA, Mar. 1987}, publisher = {JACoW Publishing, Geneva, Switzerland}, language = {english} } @inproceedings{ciapala:epac08-mopp124, author = {E. Ciapala and others}, title = {{Commissioning of the 400 MHz LHC RF System}}, booktitle = {Proc. EPAC'08}, pages = {847--849}, paper = {MOPP124}, venue = {Genoa, Italy}, series = {European Particle Accelerator Conference}, number = {11}, publisher = {JACoW Publishing, Geneva, Switzerland}, month = {7}, year = {2008}, url = {https://jacow.org/e08/papers/MOPP124.pdf}, language = {english} }

References

• D. Darvas, I. Majzik, and E. Blanco Vinuela, “What is Special About PLC Software Model Checking?”, in Proc. 16th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'17), Barcelona, Spain, Oct. 2017, pp. 1781-1786.
• J. Lewis and P. Heymans, “The Program Line Sequencer, A New Approach”, in Proc. 12th Particle Accelerator Conf. (PAC'87), Washington D.C., USA, Mar. 1987, pp. 640-643.
• J. P. Koutchouk and J. Poole, “Data Management for LEP Control”, in Proc. 12th Particle Accelerator Conf. (PAC'87), Washington D.C., USA, Mar. 1987, pp. 683-686.
• E. Ciapala et al., “Commissioning of the 400 MHz LHC RF System”, in Proc. 11th European Particle Accelerator Conf. (EPAC'08), Genoa, Italy, Jun. 2008, paper MOPP124, pp. 847-849.