Benutzer: Gast  Login
Autor(en):
Althoff, M.; Rajhans, A.; Krogh, B. H.; Yaldiz, S.; Li, X.; Pileggi, L. 
Titel:
Formal Verification of Phase-Locked Loops Using Reachability Analysis and Continuization 
Zeitschriftentitel:
Communications of the ACM 
Jahr:
2013 
Band / Volume:
56 
Heft / Issue:
10 
Seitenangaben Beitrag:
97-104