%0 Conference Paper %1 conf/dac/EisnerSHNNV00 %A Eisner, Cindy %A Shitsevalov, Irit %A Hoover, Russ %A Nation, Wayne G. %A Nelson, Kyle L. %A Valk, Ken %B DAC %D 2000 %E Micheli, Giovanni De %I ACM %K dblp %P 724-729 %T A methodology for formal design of hardware control with application to cache coherence protocols. %U http://dblp.uni-trier.de/db/conf/dac/dac2000.html#EisnerSHNNV00

@inproceedings{conf/dac/EisnerSHNNV00, added-at = {2017-03-16T00:00:00.000+0100}, author = {Eisner, Cindy and Shitsevalov, Irit and Hoover, Russ and Nation, Wayne G. and Nelson, Kyle L. and Valk, Ken}, biburl = {https://www.bibsonomy.org/bibtex/290fd58db198a83e135cd4d485e07a13c/dblp}, booktitle = {DAC}, crossref = {conf/dac/2000}, editor = {Micheli, Giovanni De}, ee = {http://doi.acm.org/10.1145/337292.337757}, interhash = {b00ea2845836baf943e4352fcf596032}, intrahash = {90fd58db198a83e135cd4d485e07a13c}, keywords = {dblp}, pages = {724-729}, publisher = {ACM}, timestamp = {2017-03-17T11:38:02.000+0100}, title = {A methodology for formal design of hardware control with application to cache coherence protocols.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2000.html#EisnerSHNNV00}, year = 2000 }