"A CEGAR Tool for the Reachability Analysis of PLC-Controlled Plants Using ..."

Johanna Nellen, Erika Ábrahám, Benedikt Wolters (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics