%0 Conference Paper %1 conf/apaqs/BauerH01 %A Bauer, Nanette %A Huuck, Ralf %B APAQS %D 2001 %I IEEE Computer Society %K dblp %P 375-386 %T Towards Automatic Verification of Embedded Control Software. %U http://dblp.uni-trier.de/db/conf/apaqs/apaqs2001.html#BauerH01 %@ 0-7695-1287-9

@inproceedings{conf/apaqs/BauerH01, added-at = {2015-03-19T00:00:00.000+0100}, author = {Bauer, Nanette and Huuck, Ralf}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d2ba693fb4d5df78976d4b702748cceb/dblp}, booktitle = {APAQS}, crossref = {conf/apaqs/2001}, ee = {http://doi.ieeecomputersociety.org/10.1109/APAQS.2001.990043}, interhash = {e77ab2c71426db79e2a977fb424bbb3a}, intrahash = {d2ba693fb4d5df78976d4b702748cceb}, isbn = {0-7695-1287-9}, keywords = {dblp}, pages = {375-386}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T11:53:36.000+0100}, title = {Towards Automatic Verification of Embedded Control Software.}, url = {http://dblp.uni-trier.de/db/conf/apaqs/apaqs2001.html#BauerH01}, year = 2001 }