%0 Conference Paper %1 conf/eurodac/HahnHH94 %A Hahn, Winfried %A Hagerer, Andreas %A Herrmann, C. %B EURO-DAC %D 1994 %E Mermet, Jean %I IEEE Computer Society %K %P 362-367 %T Compiled-code-based simulation with timing verification. %U http://dblp.uni-trier.de/db/conf/eurodac/euro-dac1994.html#HahnHH94 %@ 0-89791-685-9

@inproceedings{conf/eurodac/HahnHH94, added-at = {2023-12-13T09:44:53.000+0100}, author = {Hahn, Winfried and Hagerer, Andreas and Herrmann, C.}, biburl = {https://www.bibsonomy.org/bibtex/2eab7448506955114ba8c87d5367657d9/admin}, booktitle = {EURO-DAC}, crossref = {conf/eurodac/1994}, editor = {Mermet, Jean}, ee = {http://dl.acm.org/citation.cfm?id=198285}, interhash = {d14e172cb0b484d6593e4d5014b5fa14}, intrahash = {eab7448506955114ba8c87d5367657d9}, isbn = {0-89791-685-9}, keywords = {}, pages = {362-367}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T09:44:53.000+0100}, title = {Compiled-code-based simulation with timing verification.}, url = {http://dblp.uni-trier.de/db/conf/eurodac/euro-dac1994.html#HahnHH94}, year = 1994 }