%0 Conference Paper %1 conf/birthday/BienmullerBBBDHJ99 %A Bienmüller, Tom %A Bohn, Jürgen %A Brinkmann, Henning %A Brockmeyer, Udo %A Damm, Werner %A Hungar, Hardi %A Jansen, Peter %B Correct System Design %D 1999 %E Olderog, Ernst-Rüdiger %E Steffen, Bernhard %I Springer %K %P 319-341 %T Verification of Automotive Control Units. %U http://dblp.uni-trier.de/db/conf/birthday/langmaack1999.html#BienmullerBBBDHJ99 %V 1710 %@ 3-540-66624-9

@inproceedings{conf/birthday/BienmullerBBBDHJ99, added-at = {2023-12-12T17:29:45.000+0100}, author = {Bienmüller, Tom and Bohn, Jürgen and Brinkmann, Henning and Brockmeyer, Udo and Damm, Werner and Hungar, Hardi and Jansen, Peter}, biburl = {https://www.bibsonomy.org/bibtex/21464d810c26dc66be0f53587b1ef7e87/admin}, booktitle = {Correct System Design}, crossref = {conf/birthday/1999langmaack}, editor = {Olderog, Ernst-Rüdiger and Steffen, Bernhard}, ee = {https://doi.org/10.1007/3-540-48092-7_14}, interhash = {047ca26ec2f7ffbab235073d47511815}, intrahash = {1464d810c26dc66be0f53587b1ef7e87}, isbn = {3-540-66624-9}, keywords = {}, pages = {319-341}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T17:29:45.000+0100}, title = {Verification of Automotive Control Units.}, url = {http://dblp.uni-trier.de/db/conf/birthday/langmaack1999.html#BienmullerBBBDHJ99}, volume = 1710, year = 1999 }