%0 Conference Paper %1 conf/async/YanGE10 %A Yan, Chao %A Greenstreet, Mark R. %A Eisinger, Jochen %B ASYNC %D 2010 %I IEEE Computer Society %K dblp %P 165-175 %T Formal Verification of an Arbiter Circuit. %U http://dblp.uni-trier.de/db/conf/async/async2010.html#YanGE10 %@ 978-0-7695-4032-0

@inproceedings{conf/async/YanGE10, added-at = {2016-05-10T00:00:00.000+0200}, author = {Yan, Chao and Greenstreet, Mark R. and Eisinger, Jochen}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f38da65959174a9caadc5bb1b9cf91fc/dblp}, booktitle = {ASYNC}, crossref = {conf/async/2010}, ee = {http://doi.ieeecomputersociety.org/10.1109/ASYNC.2010.25}, interhash = {a13298c189cbf39246531dd401e3daae}, intrahash = {f38da65959174a9caadc5bb1b9cf91fc}, isbn = {978-0-7695-4032-0}, keywords = {dblp}, pages = {165-175}, publisher = {IEEE Computer Society}, timestamp = {2016-05-11T09:33:22.000+0200}, title = {Formal Verification of an Arbiter Circuit.}, url = {http://dblp.uni-trier.de/db/conf/async/async2010.html#YanGE10}, year = 2010 }