%0 Conference Paper %1 conf/fmcad/KailasPM09 %A Kailas, Krishnan %A Paruthi, Viresh %A Monwai, Brian %B FMCAD %D 2009 %I IEEE %K dblp %P 101-107 %T Formal verification of correctness and performance of random priority-based arbiters. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2009.html#KailasPM09 %@ 978-1-4244-4966-8

@inproceedings{conf/fmcad/KailasPM09, added-at = {2010-01-27T00:00:00.000+0100}, author = {Kailas, Krishnan and Paruthi, Viresh and Monwai, Brian}, biburl = {https://www.bibsonomy.org/bibtex/210ff198a14636f42109e3a4664dd9717/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2009}, ee = {http://dx.doi.org/10.1109/FMCAD.2009.5351137}, interhash = {ea5fe54824b1a85c055eaaddfe4cc8d9}, intrahash = {10ff198a14636f42109e3a4664dd9717}, isbn = {978-1-4244-4966-8}, keywords = {dblp}, pages = {101-107}, publisher = {IEEE}, timestamp = {2016-02-18T11:52:00.000+0100}, title = {Formal verification of correctness and performance of random priority-based arbiters.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2009.html#KailasPM09}, year = 2009 }