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. 

[n]	R. L. Gluckstern, D. E. Nagle, and W. M. Visscher, “A Note on Transverse Beam Instabilities in Multisection Linacs”, in Proc. LINAC'66, Los Alamos, NM, USA, Oct. 1966, paper VI-03, pp. 281-283. 

[n]	A. J. Sherwood, “Electrostatic Induction Electrode Systems for Beam-Position Detection”, in Proc. PAC'65, Washington D.C., USA, Mar. 1965, pp. 925-929. 

[n]	P. Ninin et al., “Refurbishing of the CERN PS Complex Personnel Protection System”, in Proc. ICALEPCS'13, San Francisco, CA, USA, Oct. 2013, paper MOPPC059, pp. 234-237. 

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. %\cite{Gluckstern:LINAC66-VI-03} \bibitem{Gluckstern:LINAC66-VI-03} R. L. Gluckstern, D. E. Nagle, and W. M. Visscher, \textquotedblleft{A Note on Transverse Beam Instabilities in Multisection Linacs}\textquotedblright, in \emph{Proc. LINAC’66}, Los Alamos, NM, USA, Oct. 1966, paper VI--03, pp. 281--283. %\cite{Sherwood:PAC65} \bibitem{Sherwood:PAC65} A. J. Sherwood, \textquotedblleft{Electrostatic Induction Electrode Systems for Beam-Position Detection}\textquotedblright, in \emph{Proc. PAC’65}, Washington D.C., USA, Mar. 1965, pp. 925--929. %\cite{Ninin:ICALEPCS13-MOPPC059} \bibitem{Ninin:ICALEPCS13-MOPPC059} P. Ninin \emph{et al.}, \textquotedblleft{Refurbishing of the CERN PS Complex Personnel Protection System}\textquotedblright, in \emph{Proc. ICALEPCS’13}, San Francisco, CA, USA, Oct. 2013, paper MOPPC059, pp. 234--237.

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} } @inproceedings{gluckstern:linac66-vi-03, author = {R. L. Gluckstern and D. E. Nagle and W. M. Visscher}, title = {{A Note on Transverse Beam Instabilities in Multisection Linacs}}, booktitle = {Proc. LINAC'66}, pages = {281--283}, paper = {VI-03}, venue = {Los Alamos, NM, USA, Oct. 1966}, series = {Linear Accelerator Conference}, publisher = {JACoW Publishing, Geneva, Switzerland}, language = {english} } @inproceedings{sherwood:pac65, author = {A. J. Sherwood}, title = {{Electrostatic Induction Electrode Systems for Beam-Position Detection}}, booktitle = {Proc. PAC'65}, pages = {925--929}, paper = {}, venue = {Washington D.C., USA}, series = {Particle Accelerator Conference}, number = {1}, publisher = {JACoW Publishing, Geneva, Switzerland}, month = {6}, year = {1965}, language = {english} } @inproceedings{ninin:icalepcs13-moppc059, author = {P. Ninin and others}, title = {{Refurbishing of the CERN PS Complex Personnel Protection System}}, booktitle = {Proc. ICALEPCS'13}, pages = {234--237}, paper = {MOPPC059}, venue = {San Francisco, CA, USA, Oct. 2013}, publisher = {JACoW Publishing, Geneva, Switzerland}, url = {https://jacow.org/ICALEPCS2013/papers/MOPPC059.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.
• R. L. Gluckstern, D. E. Nagle, and W. M. Visscher, “A Note on Transverse Beam Instabilities in Multisection Linacs”, in Proc. 1966 Linear Accelerator Conf. (LINAC'66), Los Alamos, NM, USA, Oct. 1966, paper VI-03, pp. 281-283.
• A. J. Sherwood, “Electrostatic Induction Electrode Systems for Beam-Position Detection”, in Proc. 1st Particle Accelerator Conf. (PAC'65), Washington D.C., USA, Mar. 1965, pp. 925-929.
• P. Ninin et al., “Refurbishing of the CERN PS Complex Personnel Protection System”, in Proc. 14th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'13), San Francisco, CA, USA, Oct. 2013, paper MOPPC059, pp. 234-237.