%0 Book %1 books/sp/haubelt10 %A Haubelt, Christian %A Teich, Jürgen %B eXamen.press %D 2010 %I Springer %K %T Digitale Hardware/Software-Systeme: Spezifikation und Verifikation %U http://dx.doi.org/10.1007/978-3-642-05356-6 %@ 978-3-642-05355-9

@book{books/sp/haubelt10, added-at = {2023-12-12T20:59:24.000+0100}, author = {Haubelt, Christian and Teich, Jürgen}, biburl = {https://www.bibsonomy.org/bibtex/2cc2945591a5185adb58b9fbf78a94483/admin}, ee = {http://dx.doi.org/10.1007/978-3-642-05356-6}, interhash = {37693b52f7fc2cd46476ff09ddeede2b}, intrahash = {cc2945591a5185adb58b9fbf78a94483}, isbn = {978-3-642-05355-9}, keywords = {}, publisher = {Springer}, series = {eXamen.press}, timestamp = {2023-12-12T20:59:24.000+0100}, title = {Digitale Hardware/Software-Systeme: Spezifikation und Verifikation}, url = {http://dx.doi.org/10.1007/978-3-642-05356-6}, year = 2010 }