% IMPORTANT: The following is UTF-8 encoded. This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.
@INPROCEEDINGS{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},
reportid = {RWTH-CONV-205968},
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},
month = {May},
date = {2014-05-14},
organization = {Discrete Event Systems : [12th
International Workshop on Discrete
Event Systems], Cachan (France), 14 May
2014 - 16 May 2014},
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},
}
guest ::