%0 Conference Paper %1 conf/wadt/Harman01 %A Harman, Neal A. %B WADT %D 2001 %E Cerioli, Maura %E Reggio, Gianna %I Springer %K dblp %P 128-151 %T Verifying a Simple Pipelined Microprocessor Using Maude. %U http://dblp.uni-trier.de/db/conf/wadt/wadt2001.html#Harman01 %V 2267 %@ 3-540-43159-4

@inproceedings{conf/wadt/Harman01, added-at = {2017-05-21T00:00:00.000+0200}, author = {Harman, Neal A.}, biburl = {https://www.bibsonomy.org/bibtex/26adbc8dab22de2161ddfb2591473ea90/dblp}, booktitle = {WADT}, crossref = {conf/wadt/2001}, editor = {Cerioli, Maura and Reggio, Gianna}, ee = {https://doi.org/10.1007/3-540-45645-7_7}, interhash = {92e2a0dcac0c4650d86cbd4a245ad4ac}, intrahash = {6adbc8dab22de2161ddfb2591473ea90}, isbn = {3-540-43159-4}, keywords = {dblp}, pages = {128-151}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:44:32.000+0200}, title = {Verifying a Simple Pipelined Microprocessor Using Maude.}, url = {http://dblp.uni-trier.de/db/conf/wadt/wadt2001.html#Harman01}, volume = 2267, year = 2001 }