Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/sac/BohlenderHK18
%A Bohlender, Dimitri
%A Hamm, Daniel
%A Kowalewski, Stefan
%B SAC
%D 2018
%E Haddad, Hisham M.
%E Wainwright, Roger L.
%E Chbeir, Richard
%I ACM
%K dblp
%P 1891-1898
%T Cycle-bounded model checking of PLC software via dynamic large-block encoding.
%U http://dblp.uni-trier.de/db/conf/sac/sac2018.html#BohlenderHK18
@inproceedings{conf/sac/BohlenderHK18,
added-at = {2018-11-21T00:00:00.000+0100},
author = {Bohlender, Dimitri and Hamm, Daniel and Kowalewski, Stefan},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20221ea38b536d1b234bf0a8498588161/dblp},
booktitle = {SAC},
crossref = {conf/sac/2018},
editor = {Haddad, Hisham M. and Wainwright, Roger L. and Chbeir, Richard},
ee = {https://doi.org/10.1145/3167132.3167334},
interhash = {6b03b9cc4dc91733d20061b16f6bddc6},
intrahash = {0221ea38b536d1b234bf0a8498588161},
keywords = {dblp},
pages = {1891-1898},
publisher = {ACM},
timestamp = {2019-09-27T13:29:58.000+0200},
title = {Cycle-bounded model checking of PLC software via dynamic large-block encoding.},
url = {http://dblp.uni-trier.de/db/conf/sac/sac2018.html#BohlenderHK18},
year = 2018
}
