Reference Search

Favourites

For Word

[n]	B. Fernandez Adiego et al., “Applying Model Checking to Critical PLC Applications: An ITER Case Study”, in Proc. ICALEPCS'17, Barcelona, Spain, Oct. 2017, pp. 1792-1796. doi:10.18429/JACoW-ICALEPCS2017-THPHA161

[n]	N. Solyak and K. Ranjan, “Study of Emittance Bumps in The ILC Main Linac”, in Proc. PAC'07, Albuquerque, NM, USA, Jun. 2007, paper THPMN107, pp. 2960-2962. 

For LaTeX

%\cite{Fern:ICALEPCS17-THPHA161} \bibitem{Fern:ICALEPCS17-THPHA161} B. Fernandez Adiego \emph{et al.}, \textquotedblleft{Applying Model Checking to Critical PLC Applications: An ITER Case Study}\textquotedblright, in \emph{Proc. ICALEPCS’17}, Barcelona, Spain, Oct. 2017, pp. 1792--1796. \doi{10.18429/JACoW-ICALEPCS2017-THPHA161} %\cite{Solyak:PAC07-THPMN107} \bibitem{Solyak:PAC07-THPMN107} N. Solyak and K. Ranjan, \textquotedblleft{Study of Emittance Bumps in The ILC Main Linac}\textquotedblright, in \emph{Proc. PAC’07}, Albuquerque, NM, USA, Jun. 2007, paper THPMN107, pp. 2960--2962.

For BibTeX

@inproceedings{fern:icalepcs17-thpha161, author = {B. Fernandez Adiego and others}, title = {{Applying Model Checking to Critical PLC Applications: An ITER Case Study}}, booktitle = {Proc. ICALEPCS'17}, pages = {1792--1796}, paper = {THPHA161}, venue = {Barcelona, Spain, Oct. 2017}, publisher = {JACoW Publishing, Geneva, Switzerland}, doi = {10.18429/JACoW-ICALEPCS2017-THPHA161}, url = {https://jacow.org/icalepcs2017/papers/THPHA161.pdf}, language = {english} } @inproceedings{solyak:pac07-thpmn107, author = {N. Solyak and K. Ranjan}, title = {{Study of Emittance Bumps in The ILC Main Linac}}, booktitle = {Proc. PAC'07}, pages = {2960--2962}, paper = {THPMN107}, venue = {Albuquerque, NM, USA}, series = {Particle Accelerator Conference}, number = {22}, publisher = {JACoW Publishing, Geneva, Switzerland}, month = {8}, year = {2007}, url = {https://jacow.org/p07/papers/THPMN107.pdf}, language = {english} }

References

• B. Fernandez Adiego et al., “Applying Model Checking to Critical PLC Applications: An ITER Case Study”, in Proc. 16th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'17), Barcelona, Spain, Oct. 2017, pp. 1792-1796.
• N. Solyak and K. Ranjan, “Study of Emittance Bumps in The ILC Main Linac”, in Proc. 22nd Particle Accelerator Conf. (PAC'07), Albuquerque, NM, USA, Jun. 2007, paper THPMN107, pp. 2960-2962.