JACoW logo

Journals of Accelerator Conferences Website (JACoW)

JACoW is a publisher in Geneva, Switzerland that publishes the proceedings of accelerator conferences held around the world by an international collaboration of editors.

LaTeX citation export for MOPV042: PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller
%\cite{tournier:icalepcs2021-mopv042}
\bibitem{tournier:icalepcs2021-mopv042}
   J-C. Tournier, B. Fernández Adiego, and I.D. Lopez-Miguel,
   \textquotedblleft{PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller}\textquotedblright,
% --- abbreviated form (published paper) - JACoW template Feb 2018 ---
   in \emph{Proc. ICALEPCS'21}, Shanghai, China, Oct. 2021, pp. 248--252.
   \url{doi:10.18429/JACoW-ICALEPCS2021-MOPV042}
% --- additional material -ISSN/ISBN--
%  ISBN: 978-3-95450-221-9, ISSN: 2226-0358