%0 Conference Paper %1 conf/indin/PrahoferBP18 %A Prähofer, Herbert %A Bohm, Thomas %A Pichler, Josef %B INDIN %D 2018 %I IEEE %K dblp %P 754-759 %T Deriving a State Model of a Control Program by Symbolic Execution. %U http://dblp.uni-trier.de/db/conf/indin/indin2018.html#PrahoferBP18 %@ 978-1-5386-4829-2

@inproceedings{conf/indin/PrahoferBP18, added-at = {2018-10-12T00:00:00.000+0200}, author = {Prähofer, Herbert and Bohm, Thomas and Pichler, Josef}, biburl = {https://www.bibsonomy.org/bibtex/2de9c9cd69e09d3c00aa909a0bec9c82d/dblp}, booktitle = {INDIN}, crossref = {conf/indin/2018}, ee = {https://doi.org/10.1109/INDIN.2018.8472013}, interhash = {2deee8cc2927c579d1f9e7f3cf0dfdf2}, intrahash = {de9c9cd69e09d3c00aa909a0bec9c82d}, isbn = {978-1-5386-4829-2}, keywords = {dblp}, pages = {754-759}, publisher = {IEEE}, timestamp = {2018-10-13T11:37:21.000+0200}, title = {Deriving a State Model of a Control Program by Symbolic Execution.}, url = {http://dblp.uni-trier.de/db/conf/indin/indin2018.html#PrahoferBP18}, year = 2018 }