The Joint Accelerator Conferences Website (JACoW) is an international collaboration that publishes the proceedings of accelerator conferences held around the world.
@InProceedings{Jacky:ICALEPCS2017-TUDPL02,
author = {J.P. Jacky and others},
title = {{A}utomatic {F}ormal {V}erification for {EPICS}},
booktitle = {Proc. of International Conference on Accelerator and Large Experimental Control Systems (ICALEPCS'17),
Barcelona, Spain, 8-13 October 2017},
pages = {285--291},
paper = {TUDPL02},
language = {english},
keywords = {ion, EPICS, controls, database, operation},
venue = {Barcelona, Spain},
series = {International Conference on Accelerator and Large Experimental Control Systems},
number = {16},
publisher = {JACoW},
address = {Geneva, Switzerland},
month = {Jan.},
year = {2018},
isbn = {978-3-95450-193-9},
doi = {https://doi.org/10.18429/JACoW-ICALEPCS2017-TUDPL02},
url = {http://jacow.org/icalepcs2017/papers/tudpl02.pdf},
note = {https://doi.org/10.18429/JACoW-ICALEPCS2017-TUDPL02},
}