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 WEPGF092: PLCverif: A Tool to Verify PLC Programs Based on Model Checking Techniques

%\cite{Darvas:ICALEPCS2015-WEPGF092}
\bibitem{Darvas:ICALEPCS2015-WEPGF092}
   D. Darvas, E. Blanco Vinuela, and B. Fernández Adiego,
   \textquotedblleft{PLCverif: A Tool to Verify PLC Programs Based on Model Checking Techniques}\textquotedblright,
%  in \emph{Proc. ICALEPCS2015}, pp. 911--914,
%  in \emph{Proc. ICALEPCS2015}, Melbourne, Australia, Oct. 2015, paper WEPGF092, pp. 911--914,
   in \emph{Proc. 15th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'15)}, 
   Melbourne, Australia, Oct. 2015, paper WEPGF092, pp. 911--914,
%  ISBN: 978-3-95450-148-9,
   \url{http://jacow.org/icalepcs2015/papers/wepgf092.pdf},
   \url{doi:10.18429/JACoW-ICALEPCS2015-WEPGF092}, 2015.