Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 1.Ident. | Authors (with country if any) | Title |
---|---|---|
001A98 | Matthias Althoff [Allemagne] ; Akshay Rajhans [États-Unis] ; Bruce H. Krogh [États-Unis] ; Soner Yaldiz [États-Unis] ; XIN LI [États-Unis] ; Lany Pileggi [États-Unis] | Formal Verification of Phase-Locked Loops Using Reachability Analysis and Continuization |
This area was generated with Dilib version V0.6.38. |