JACoW is a publisher in Geneva, Switzerland that publishes the proceedings of accelerator conferences held around the world by an international collaboration of editors.
J-C. Tournier, B. Fernández Adiego, and I.D. Lopez-Miguel, “PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller”, in Proc. ICALEPCS'21, Shanghai, China, Oct. 2021, pp. 248-252. doi:10.18429/JACoW-ICALEPCS2021-MOPV042