Reference Search

Author: S. Pernsteiner

	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