BUTE
Budapest, Hungary

DOI	Title
10.18429/JACoW-ICALEPCS2017-THPHA159	What is Special About PLC Software Model Checking?
10.18429/JACoW-ICALEPCS2017-THPHA161	Applying Model Checking to Critical PLC Applications: An ITER Case Study