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 MOBPP01: PLCverif Re-engineered: An Open Platform for the Formal Analysis of PLC Programs

%\cite{blancovinuela:icalepcs2019-mobpp01}
\bibitem{blancovinuela:icalepcs2019-mobpp01}
   E. Blanco Viñuela, D. Darvas, and V. Molnár,
   \textquotedblleft{PLCverif Re-engineered: An Open Platform for the Formal Analysis of PLC Programs}\textquotedblright,
% --- abbreviated form (published paper) - JACoW template Feb 2018 ---
   in \emph{Proc. ICALEPCS'19}, New York, NY, USA, Oct. 2019, pp. 21--27.
   \url{doi:10.18429/JACoW-ICALEPCS2019-MOBPP01}
% --- additional material -ISSN/ISBN--
%  ISBN: 978-3-95450-209-7, ISSN: 2226-0358