%0 Conference Paper %1 conf/date/QinM03 %A Qin, Wei %A Malik, Sharad %B DATE %D 2003 %I IEEE Computer Society %K dblp %P 10556-10561 %T Flexible and Formal Modeling of Microprocessors with Application to Retargetable Simulation. %U http://dblp.uni-trier.de/db/conf/date/date2003.html#QinM03 %@ 0-7695-1870-2

@inproceedings{conf/date/QinM03, added-at = {2023-09-30T00:00:00.000+0200}, author = {Qin, Wei and Malik, Sharad}, biburl = {https://www.bibsonomy.org/bibtex/24ae9cd7920d4f051cefbf2415d6d4c06/dblp}, booktitle = {DATE}, crossref = {conf/date/2003}, ee = {http://dl.acm.org/citation.cfm?id=1022785}, interhash = {07a6753b95c4061c03db620c922563ba}, intrahash = {4ae9cd7920d4f051cefbf2415d6d4c06}, isbn = {0-7695-1870-2}, keywords = {dblp}, pages = {10556-10561}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:54:02.000+0200}, title = {Flexible and Formal Modeling of Microprocessors with Application to Retargetable Simulation.}, url = {http://dblp.uni-trier.de/db/conf/date/date2003.html#QinM03}, year = 2003 }