by Sebastian Biallas, Stefan Kowalewski, Stefan Stattelmann, Bastian Schlich
Reference:
Efficient Handling of States in Abstract Interpretation of Industrial Programmable Logic Controller Code (Sebastian Biallas, Stefan Kowalewski, Stefan Stattelmann, Bastian Schlich), In , IFAC, 2014. (Discrete Event Systems : [Proc. Proceedings of the 12th
International Workshop on Discrete Event Systems, Cachan,
France, 2014] / Conference Editor: Lesage, Jean-Jacques,
Faure, Jean-Marc, Cury, Jose E. R., Lennartson, Bengt)
International Workshop on Discrete Event Systems, Cachan,
France, 2014] / Conference Editor: Lesage, Jean-Jacques,
Faure, Jean-Marc, Cury, Jose E. R., Lennartson, Bengt)
Bibtex Entry:
@ARTICLE{Biallas:443854, author = {Biallas, Sebastian and Kowalewski, Stefan and Stattelmann, Stefan and Schlich, Bastian}, title = {{E}fficient {H}andling of {S}tates in {A}bstract {I}nterpretation of {I}ndustrial {P}rogrammable {L}ogic {C}ontroller {C}ode}, address = {Cachan, France}, publisher = {IFAC}, pages = {400-405}, year = {2014}, comment = {Discrete Event Systems : [Proc. Proceedings of the 12th International Workshop on Discrete Event Systems, Cachan, France, 2014] / Conference Editor: Lesage, Jean-Jacques, Faure, Jean-Marc, Cury, Jose E. R., Lennartson, Bengt}, booktitle = {Discrete Event Systems : [Proc. Proceedings of the 12th International Workshop on Discrete Event Systems, Cachan, France, 2014] / Conference Editor: Lesage, Jean-Jacques, Faure, Jean-Marc, Cury, Jose E. R., Lennartson, Bengt}, cin = {120000 / 122810}, cid = {$I:(DE-82)120000_20140620$ / $I:(DE-82)122810_20140620$}, typ = {PUB:(DE-HGF)8}, doi = {10.3182/20140514-3-FR-4046.00065}, url = {https://publications.rwth-aachen.de/record/443854}, }