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]	V. H. Hardion et al., “The First Operation of the MAX IV Laboratory Synchrotron Facilities”, in Proc. ICALEPCS'17, Barcelona, Spain, Oct. 2017, pp. 6-13. doi:10.18429/JACoW-ICALEPCS2017-MOAPL02

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{Hardion:ICALEPCS17-MOAPL02} \bibitem{Hardion:ICALEPCS17-MOAPL02} V. H. Hardion \emph{et al.}, \textquotedblleft{The First Operation of the MAX IV Laboratory Synchrotron Facilities}\textquotedblright, in \emph{Proc. ICALEPCS’17}, Barcelona, Spain, Oct. 2017, pp. 6--13. \doi{10.18429/JACoW-ICALEPCS2017-MOAPL02}

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{hardion:icalepcs17-moapl02, author = {V. H. Hardion and others}, title = {{The First Operation of the MAX IV Laboratory Synchrotron Facilities}}, booktitle = {Proc. ICALEPCS'17}, pages = {6--13}, paper = {MOAPL02}, venue = {Barcelona, Spain, Oct. 2017}, publisher = {JACoW Publishing, Geneva, Switzerland}, doi = {10.18429/JACoW-ICALEPCS2017-MOAPL02}, url = {https://jacow.org/icalepcs2017/papers/MOAPL02.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.
• V. H. Hardion et al., “The First Operation of the MAX IV Laboratory Synchrotron Facilities”, in Proc. 16th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'17), Barcelona, Spain, Oct. 2017, pp. 6-13.