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]	L. J. Mao et al., “Electron Cooling Experiments at HIRFL-CSR”, in Proc. SAP'14, Lanzhou, China, Aug. 2014, paper THPMH2, pp. 113-115. 

[n]	V. Servranckx, “Program DIMAD: Vectorization, links with DA, LIELIB and COSY-[infinity]”, in Proc. PAC'91, San Francisco, CA, USA, May 1991, pp. 287-288. 

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{Mao:SAP14-THPMH2} \bibitem{Mao:SAP14-THPMH2} L. J. Mao \emph{et al.}, \textquotedblleft{Electron Cooling Experiments at HIRFL-CSR}\textquotedblright, in \emph{Proc. SAP’14}, Lanzhou, China, Aug. 2014, paper THPMH2, pp. 113--115. %\cite{Servranckx:PAC91} \bibitem{Servranckx:PAC91} V. Servranckx, \textquotedblleft{Program DIMAD: Vectorization, links with DA, LIELIB and COSY-[infinity]}\textquotedblright, in \emph{Proc. PAC’91}, San Francisco, CA, USA, May 1991, pp. 287--288.

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{mao:sap14-thpmh2, author = {L. J. Mao and others}, title = {{Electron Cooling Experiments at HIRFL-CSR}}, booktitle = {Proc. SAP'14}, pages = {113--115}, paper = {THPMH2}, venue = {Lanzhou, China, Aug. 2014}, publisher = {JACoW Publishing, Geneva, Switzerland}, url = {https://jacow.org/SAP2014/papers/THPMH2.pdf}, language = {english} } @inproceedings{servranckx:pac91, author = {V. Servranckx}, title = {{Program DIMAD: Vectorization, links with DA, LIELIB and COSY-[infinity]}}, booktitle = {Proc. PAC'91}, pages = {287--288}, paper = {}, venue = {San Francisco, CA, USA, May 1991}, publisher = {JACoW Publishing, Geneva, Switzerland}, 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.
• L. J. Mao et al., “Electron Cooling Experiments at HIRFL-CSR”, in Proc. 12th Symposium on Accelerator Physics (SAP'14), Lanzhou, China, Aug. 2014, paper THPMH2, pp. 113-115.
• V. Servranckx, “Program DIMAD: Vectorization, links with DA, LIELIB and COSY-[infinity]”, in Proc. 14th Particle Accelerator Conf. (PAC'91), San Francisco, CA, USA, May 1991, pp. 287-288.