%0 Journal Article %1 journals/cacm/AlthoffRKYLP13 %A Althoff, Matthias %A Rajhans, Akshay %A Krogh, Bruce H. %A Yaldiz, Soner %A Li, Xin %A Pileggi, Larry T. %D 2013 %J Commun. ACM %K dblp %N 10 %P 97-104 %T Formal verification of phase-locked loops using reachability analysis and continuization. %U http://dblp.uni-trier.de/db/journals/cacm/cacm56.html#AlthoffRKYLP13 %V 56

@article{journals/cacm/AlthoffRKYLP13, added-at = {2018-11-06T00:00:00.000+0100}, author = {Althoff, Matthias and Rajhans, Akshay and Krogh, Bruce H. and Yaldiz, Soner and Li, Xin and Pileggi, Larry T.}, biburl = {https://www.bibsonomy.org/bibtex/297e9e9becd398fb86b2e6e702e4c5ace/dblp}, ee = {https://doi.org/10.1145/2507771.2507783}, interhash = {fbc2c499070a8b6f133888cc70785e77}, intrahash = {97e9e9becd398fb86b2e6e702e4c5ace}, journal = {Commun. ACM}, keywords = {dblp}, number = 10, pages = {97-104}, timestamp = {2018-11-07T11:59:55.000+0100}, title = {Formal verification of phase-locked loops using reachability analysis and continuization.}, url = {http://dblp.uni-trier.de/db/journals/cacm/cacm56.html#AlthoffRKYLP13}, volume = 56, year = 2013 }