%0 Conference Paper %1 conf/safecomp/HalangKV95 %A Halang, Wolfgang A. %A Krämer, Bernd J. %A Völker, Norbert %B SAFECOMP %D 1995 %E Rabe, Gerhard %I Springer %K dblp %P 206-218 %T Formally Verified Firmware Modules for Industrial Process Automation. %U http://dblp.uni-trier.de/db/conf/safecomp/safecomp1995.html#HalangKV95 %@ 978-3-540-19962-5

@inproceedings{conf/safecomp/HalangKV95, added-at = {2019-06-25T00:00:00.000+0200}, author = {Halang, Wolfgang A. and Krämer, Bernd J. and Völker, Norbert}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/27ac6e9b49de90e93c17d446b866b59f1/dblp}, booktitle = {SAFECOMP}, crossref = {conf/safecomp/1995}, editor = {Rabe, Gerhard}, ee = {https://doi.org/10.1007/978-1-4471-3054-3_15}, interhash = {d69e38f9c6434bdc432f425a5955fedc}, intrahash = {7ac6e9b49de90e93c17d446b866b59f1}, isbn = {978-3-540-19962-5}, keywords = {dblp}, pages = {206-218}, publisher = {Springer}, timestamp = {2019-09-27T13:43:08.000+0200}, title = {Formally Verified Firmware Modules for Industrial Process Automation.}, url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp1995.html#HalangKV95}, year = 1995 }