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.


BiBTeX citation export for TUDPL02: Automatic Formal Verification for EPICS

@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},
}