%0 Conference Paper %1 conf/mbmv/BlankRHE00 %A Blank, Claudia %A Ritter, Gerd %A Hinrichsen, Holger %A Eveking, Hans %B MBMV %D 2000 %E Waldschmidt, Klaus %E Grimm, Christoph %I VDE %K %P 27-35 %T Formale Verifikation der Register-Allokation. %U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2000.html#BlankRHE00

@inproceedings{conf/mbmv/BlankRHE00, added-at = {2023-12-13T07:12:57.000+0100}, author = {Blank, Claudia and Ritter, Gerd and Hinrichsen, Holger and Eveking, Hans}, biburl = {https://www.bibsonomy.org/bibtex/2f3458213b05cfe8b1a15910f0d1d7f3e/admin}, booktitle = {MBMV}, crossref = {conf/mbmv/2000}, editor = {Waldschmidt, Klaus and Grimm, Christoph}, interhash = {b66f3e7be2fb531b045e1fd6cfed24ca}, intrahash = {f3458213b05cfe8b1a15910f0d1d7f3e}, keywords = {}, pages = {27-35}, publisher = {VDE}, timestamp = {2023-12-13T07:12:57.000+0100}, title = {Formale Verifikation der Register-Allokation.}, url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2000.html#BlankRHE00}, year = 2000 }