{"_id":"6wG3Rcsh5pBkBYeL5","bibbaseid":"althoff-rajhans-krogh-yaldiz-li-pileggi-formalverificationofphaselockedloopsusingreachabilityanalysisandcontinuization-2013","author_short":["Althoff, M.","Rajhans, A.","Krogh, B. H.","Yaldiz, S.","Li, X.","Pileggi, L."],"bibdata":{"bibtype":"article","type":"article","title":"Formal verification of phase-locked loops using reachability analysis and continuization","volume":"56","doi":"10/gh25vh","number":"10","journal":"Communications of The ACM","author":[{"propositions":[],"lastnames":["Althoff"],"firstnames":["Matthias"],"suffixes":[]},{"propositions":[],"lastnames":["Rajhans"],"firstnames":["Akshay"],"suffixes":[]},{"propositions":[],"lastnames":["Krogh"],"firstnames":["Bruce","H."],"suffixes":[]},{"propositions":[],"lastnames":["Yaldiz"],"firstnames":["Soner"],"suffixes":[]},{"propositions":[],"lastnames":["Li"],"firstnames":["Xin"],"suffixes":[]},{"propositions":[],"lastnames":["Pileggi"],"firstnames":["Larry"],"suffixes":[]}],"year":"2013","pages":"97–104","bibtex":"@article{althoff_formal_2013,\n\ttitle = {Formal verification of phase-locked loops using reachability analysis and continuization},\n\tvolume = {56},\n\tdoi = {10/gh25vh},\n\tnumber = {10},\n\tjournal = {Communications of The ACM},\n\tauthor = {Althoff, Matthias and Rajhans, Akshay and Krogh, Bruce H. and Yaldiz, Soner and Li, Xin and Pileggi, Larry},\n\tyear = {2013},\n\tpages = {97--104},\n}\n\n","author_short":["Althoff, M.","Rajhans, A.","Krogh, B. H.","Yaldiz, S.","Li, X.","Pileggi, L."],"key":"althoff_formal_2013","id":"althoff_formal_2013","bibbaseid":"althoff-rajhans-krogh-yaldiz-li-pileggi-formalverificationofphaselockedloopsusingreachabilityanalysisandcontinuization-2013","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["formal","verification","phase","locked","loops","using","reachability","analysis","continuization","althoff","rajhans","krogh","yaldiz","li","pileggi"],"title":"Formal verification of phase-locked loops using reachability analysis and continuization","year":2013}