The Joint Accelerator Conferences Website (JACoW) is an international collaboration that publishes the proceedings of accelerator conferences held around the world.
E. Blanco Viñuela, D. Darvas, and V. Molnár, “PLCverif Re-engineered: An Open Platform for the Formal Analysis of PLC Programs”, in Proc. ICALEPCS'19, New York, NY, USA, Oct. 2019, pp. 21-27. doi:10.18429/JACoW-ICALEPCS2019-MOBPP01