%0 Conference Paper %1 conf/dac/Puig-MedinaEK00 %A Puig-Medina, Marinés %A Ezer, Gülbin %A Konas, Pavlos %B DAC %D 2000 %E Micheli, Giovanni De %I ACM %K dblp %P 426-431 %T Verification of configurable processor cores. %U http://dblp.uni-trier.de/db/conf/dac/dac2000.html#Puig-MedinaEK00

@inproceedings{conf/dac/Puig-MedinaEK00, added-at = {2017-03-16T00:00:00.000+0100}, author = {Puig-Medina, Marinés and Ezer, Gülbin and Konas, Pavlos}, biburl = {https://www.bibsonomy.org/bibtex/2a367db16de5411d6dc8ced4206e1059d/dblp}, booktitle = {DAC}, crossref = {conf/dac/2000}, editor = {Micheli, Giovanni De}, ee = {http://doi.acm.org/10.1145/337292.337527}, interhash = {6fadc8d1c58d6262330d956361dfbbc1}, intrahash = {a367db16de5411d6dc8ced4206e1059d}, keywords = {dblp}, pages = {426-431}, publisher = {ACM}, timestamp = {2017-03-17T11:38:02.000+0100}, title = {Verification of configurable processor cores.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2000.html#Puig-MedinaEK00}, year = 2000 }