Reference Search

Reference

For Word

[n]	J. P. Jacky et al., “Automatic Formal Verification for EPICS”, in Proc. ICALEPCS'17, Barcelona, Spain, Oct. 2017, pp. 285-291. doi:10.18429/JACoW-ICALEPCS2017-TUDPL02

For LaTeX

%\cite{Jacky:ICALEPCS17-TUDPL02} \bibitem{Jacky:ICALEPCS17-TUDPL02} J. P. Jacky \emph{et al.}, \textquotedblleft{Automatic Formal Verification for EPICS}\textquotedblright, in \emph{Proc. ICALEPCS’17}, Barcelona, Spain, Oct. 2017, pp. 285--291. \url{doi:10.18429/JACoW-ICALEPCS2017-TUDPL02}

For BibTeX

@inproceedings{jacky:icalepcs17-tudpl02, author = {J. P. Jacky and others}, title = {{Automatic Formal Verification for EPICS}}, booktitle = {Proc. ICALEPCS'17}, pages = {285--291}, paper = {TUDPL02}, venue = {Barcelona, Spain, Oct. 2017}, publisher = {JACoW Publishing, Geneva, Switzerland}, doi = {10.18429/JACoW-ICALEPCS2017-TUDPL02}, url = {https://jacow.org/icalepcs2017/papers/TUDPL02.pdf}, language = {english} }

Use Complete Form

Metadata

Paper Title: Automatic Formal Verification for EPICS
Paper URL: https://jacow.org/icalepcs2017/papers/TUDPL02.pdf
Conference: 16th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'17)
Paper ID: TUDPL02
Location in proceedings: 285-291
Original Author String: J.P. Jacky, S.P. Banerian [University of Washington Medical Center, Seattle, Washington, USA] M.D. Ernst, C.A. Loncaric, S. Pernsteiner, Z.L. Tatlock, E. Torlak [University of Washington, Seattle, USA]

Associated Authors

Back to the list