%0 Conference Paper %1 conf/fmcad/YanG12 %A Yan, Chao %A Greenstreet, Mark R. %B FMCAD %D 2012 %E Cabodi, Gianpiero %E Singh, Satnam %I IEEE %K dblp %P 165-172 %T Oscillator verification with probability one. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2012.html#YanG12 %@ 978-1-4673-4832-4

@inproceedings{conf/fmcad/YanG12, added-at = {2016-05-10T00:00:00.000+0200}, author = {Yan, Chao and Greenstreet, Mark R.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/261f979e5bf3fb25bf50c3536d358e986/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2012}, editor = {Cabodi, Gianpiero and Singh, Satnam}, ee = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6462569}, interhash = {86ec85c17228056772c621b4168b2e30}, intrahash = {61f979e5bf3fb25bf50c3536d358e986}, isbn = {978-1-4673-4832-4}, keywords = {dblp}, pages = {165-172}, publisher = {IEEE}, timestamp = {2016-05-11T09:33:25.000+0200}, title = {Oscillator verification with probability one.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2012.html#YanG12}, year = 2012 }