Reference Search

Favourites

For Word

[n]	M. K. Park, G. S. Lee, J. T. Noh, J. Y Huang, and I. S. Ko, “The Interlock System For U7 Undulator in PLS”, in Proc. APAC'98, Tsukuba, Japan, Mar. 1998, paper 6D008, pp. 686-688. 

[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

For LaTeX

%\cite{Park:APAC98-6D008} \bibitem{Park:APAC98-6D008} M. K. Park, G. S. Lee, J. T. Noh, J. Y Huang, and I. S. Ko, \textquotedblleft{The Interlock System For U7 Undulator in PLS}\textquotedblright, in \emph{Proc. APAC’98}, Tsukuba, Japan, Mar. 1998, paper 6D008, pp. 686--688. %\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}

For BibTeX

@inproceedings{park:apac98-6d008, author = {M. K. Park and G. S. Lee and J. T. Noh and J. Y Huang and I. S. Ko}, title = {{The Interlock System For U7 Undulator in PLS}}, booktitle = {Proc. APAC'98}, pages = {686--688}, paper = {6D008}, venue = {Tsukuba, Japan, Mar. 1998}, publisher = {JACoW Publishing, Geneva, Switzerland}, language = {english} } @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} }

References

• M. K. Park, G. S. Lee, J. T. Noh, J. Y Huang, and I. S. Ko, “The Interlock System For U7 Undulator in PLS”, in Proc. 1st Asian Particle Accelerator Conf. (APAC'98), Tsukuba, Japan, Mar. 1998, paper 6D008, pp. 686-688.
• 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.