%0 Conference Paper %1 conf/date/FrehseKR06 %A Frehse, Goran %A Krogh, Bruce H. %A Rutenbar, Rob A. %B DATE %D 2006 %E Gielen, Georges G. E. %I European Design and Automation Association, Leuven, Belgium %K dblp %P 257-262 %T Verifying analog oscillator circuits using forward/backward abstraction refinement. %U http://dblp.uni-trier.de/db/conf/date/date2006p.html#FrehseKR06 %@ 3-9810801-1-4

@inproceedings{conf/date/FrehseKR06, added-at = {2024-03-22T00:00:00.000+0100}, author = {Frehse, Goran and Krogh, Bruce H. and Rutenbar, Rob A.}, biburl = {https://www.bibsonomy.org/bibtex/26c8706cd948e3bd30d3bc5cfc01ed9c9/dblp}, booktitle = {DATE}, crossref = {conf/date/2006p}, editor = {Gielen, Georges G. E.}, ee = {http://dl.acm.org/citation.cfm?id=1131553}, interhash = {acef9dd046cc90f12419a5ecd9f3ac9d}, intrahash = {6c8706cd948e3bd30d3bc5cfc01ed9c9}, isbn = {3-9810801-1-4}, keywords = {dblp}, pages = {257-262}, publisher = {European Design and Automation Association, Leuven, Belgium}, timestamp = {2024-04-10T08:46:50.000+0200}, title = {Verifying analog oscillator circuits using forward/backward abstraction refinement.}, url = {http://dblp.uni-trier.de/db/conf/date/date2006p.html#FrehseKR06}, year = 2006 }