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. |  |