JACoW logo

Joint Accelerator Conferences Website

The Joint Accelerator Conferences Website (JACoW) is an international collaboration that publishes the proceedings of accelerator conferences held around the world.


LaTeX citation export for TUDPL02: Automatic Formal Verification for EPICS

%\cite{Jacky:ICALEPCS2017-TUDPL02}
\bibitem{Jacky:ICALEPCS2017-TUDPL02}
   J.P. Jacky, S.P. Banerian, M.D. Ernst, C.A. Loncaric, S. Pernsteiner, Z.L. Tatlock, and \emph{et al.},
%   J.P. Jacky, S.P. Banerian, M.D. Ernst, C.A. Loncaric, S. Pernsteiner, Z.L. Tatlock, and E. Torlak,
%   J.P. Jacky \emph{et al.},
   \textquotedblleft{Automatic Formal Verification for EPICS}\textquotedblright,
   in \emph{Proc. ICALEPCS2017}, \url{https://doi.org/10.18429/JACoW-ICALEPCS2017-TUDPL02}, 2018.
%  in \emph{Proc. ICALEPCS2017}, \url{https://doi.org/10.18429/JACoW-ICALEPCS2017-TUDPL02}, pp. 285--291.
%  in \emph{Proc. ICALEPCS2017}, Barcelona, Spain, Oct. 2017, paper TUDPL02, \url{https://doi.org/10.18429/JACoW-ICALEPCS2017-TUDPL02}
%  in \emph{Proc. 16th Int. Conf. on Accelerator and Large Experimental Control Systems (ICALEPCS'17)}, 
%  Barcelona, Spain, Oct. 2017, paper TUDPL02, pp. 285--291,
%  ISBN: 978-3-95450-193-9,
%  \url{http://jacow.org/icalepcs2017/papers/tudpl02.pdf},
%  \url{https://doi.org/10.18429/JACoW-ICALEPCS2017-TUDPL02}, 2018.