JaCoW Logo

Reference Search

Author: Z. L. Tatlock


References



Reference
J. P. Jacky et al., “Automatic Formal Verification for EPICS”, in Proc. 16th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'17), Barcelona, Spain, Oct. 2017, pp. 285-291.


Back to the list