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]	J. Lewis and P. Heymans, “The Program Line Sequencer, A New Approach”, in Proc. PAC'87, Washington D.C., USA, Mar. 1987, pp. 640-643. 

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{Lewis:PAC87} \bibitem{Lewis:PAC87} J. Lewis and P. Heymans, \textquotedblleft{The Program Line Sequencer, A New Approach}\textquotedblright, in \emph{Proc. PAC’87}, Washington D.C., USA, Mar. 1987, pp. 640--643.

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{lewis:pac87, author = {J. Lewis and P. Heymans}, title = {{The Program Line Sequencer, A New Approach}}, booktitle = {Proc. PAC'87}, pages = {640--643}, paper = {}, venue = {Washington D.C., USA, Mar. 1987}, 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.
• J. Lewis and P. Heymans, “The Program Line Sequencer, A New Approach”, in Proc. 12th Particle Accelerator Conf. (PAC'87), Washington D.C., USA, Mar. 1987, pp. 640-643.