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]	Z. Zhao, H. Ding, and H. Xu, “Construction of Shanghai Synchrotron Radiation Facility”, in Proc. APAC'07, Indore, India, Jan.-Feb. 2007, paper THZMA03, pp. 593-596. 

[n]	Z. Zhao and H. Ding, “Shanghai hard X-ray FEL facility progress status”, in Proc. IPAC'24, Nashville, TN, USA, May 2024, pp. 967-972. doi:10.18429/JACoW-IPAC2024-TUZN1

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{Zhao:APAC07-THZMA03} \bibitem{Zhao:APAC07-THZMA03} Z. Zhao, H. Ding, and H. Xu, \textquotedblleft{Construction of Shanghai Synchrotron Radiation Facility}\textquotedblright, in \emph{Proc. APAC’07}, Indore, India, Jan.-Feb. 2007, paper THZMA03, pp. 593--596. %\cite{Zhao:IPAC24-TUZN1} \bibitem{Zhao:IPAC24-TUZN1} Z. Zhao and H. Ding, \textquotedblleft{Shanghai hard X-ray FEL facility progress status}\textquotedblright, in \emph{Proc. IPAC’24}, Nashville, TN, USA, May 2024, pp. 967--972. \doi{10.18429/JACoW-IPAC2024-TUZN1}

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{zhao:apac07-thzma03, author = {Z. Zhao and H. Ding and H. Xu}, title = {{Construction of Shanghai Synchrotron Radiation Facility}}, booktitle = {Proc. APAC'07}, pages = {593--596}, paper = {THZMA03}, venue = {Indore, India, Jan.-Feb. 2007}, publisher = {JACoW Publishing, Geneva, Switzerland}, url = {https://jacow.org/a07/papers/THZMA03.pdf}, language = {english} } @inproceedings{zhao:ipac24-tuzn1, author = {Z. Zhao and H. Ding}, title = {{Shanghai hard X-ray FEL facility progress status}}, booktitle = {Proc. IPAC'24}, pages = {967--972}, paper = {TUZN1}, venue = {Nashville, TN, USA}, series = {International Particle Accelerator Conference}, number = {15}, publisher = {JACoW Publishing, Geneva, Switzerland}, month = {7}, year = {2024}, issn = {2673-5490}, isbn = {978-3-95-450247-9}, doi = {10.18429/JACoW-IPAC2024-TUZN1}, 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.
• Z. Zhao, H. Ding, and H. Xu, “Construction of Shanghai Synchrotron Radiation Facility”, in Proc. 4th Asian Particle Accelerator Conf. (APAC'07), Indore, India, Jan.-Feb. 2007, paper THZMA03, pp. 593-596.
• Z. Zhao and H. Ding, “Shanghai hard X-ray FEL facility progress status”, in Proc. 15th Int. Particle Accelerator Conf. (IPAC'24), Nashville, TN, USA, May 2024, paper TUZN1, pp. 967-972.