Reference Search

Reference

For Word

[n]	I. D. Lopez-Miguel, C. Betz, E. Blanco Viñuela, B. Fernández Adiego, and M. Salinas, “Working Together for Safer Systems: A Collaboration Model for Verification of PLC Code”, in Proc. ICALEPCS'23, Cape Town, South Africa, Oct. 2023, pp. 467-472. doi:10.18429/JACoW-ICALEPCS2023-TUPDP001

For LaTeX

%\cite{Lopez-Miguel:ICALEPCS23-TUPDP001} \bibitem{Lopez-Miguel:ICALEPCS23-TUPDP001} I. D. Lopez-Miguel, C. Betz, E. Blanco Viñuela, B. Fernández Adiego, and M. Salinas, \textquotedblleft{Working Together for Safer Systems: A Collaboration Model for Verification of PLC Code}\textquotedblright, in \emph{Proc. ICALEPCS’23}, Cape Town, South Africa, Oct. 2023, pp. 467--472. \url{doi:10.18429/JACoW-ICALEPCS2023-TUPDP001}

For BibTeX

@inproceedings{lopez-miguel:icalepcs23-tupdp001, author = {I. D. Lopez-Miguel and C. Betz and E. Blanco Viñuela and B. Fernández Adiego and M. Salinas}, title = {{Working Together for Safer Systems: A Collaboration Model for Verification of PLC Code}}, booktitle = {Proc. ICALEPCS'23}, pages = {467--472}, paper = {TUPDP001}, venue = {Cape Town, South Africa}, series = {International Conference on Accelerator and Large Experimental Physics Control Systems}, number = {20}, publisher = {JACoW Publishing, Geneva, Switzerland}, month = {12}, year = {2023}, issn = {2226-0358}, isbn = {978-3-95-450238-7}, doi = {10.18429/JACoW-ICALEPCS2023-TUPDP001}, language = {english} }

Metadata