h1

h2

h3

h4

h5
h6
TY  - CONF
AU  - Biallas, Sebastian
AU  - Kowalewski, Stefan
AU  - Stattelmann, Stefan
AU  - Schlich, Bastian
TI  - Efficient Handling of States in Abstract Interpretation of Industrial Programmable Logic Controller Code
CY  - Cachan, France
PB  - IFAC
M1  - RWTH-CONV-205968
SP  - 400-405
PY  - 2014
T2  - Discrete Event Systems : [12th International Workshop on Discrete Event Systems]
CY  - 14 May 2014 - 16 May 2014, Cachan (France)
Y2  - 14 May 2014 - 16 May 2014
M2  - Cachan, France
LB  - PUB:(DE-HGF)8
DO  - DOI:10.3182/20140514-3-FR-4046.00065
UR  - https://publications.rwth-aachen.de/record/443854
ER  -