Charge Pump Phase-Locked Loops and Full Wave Rectifiers for Reachability Analysis (Benchmark Proposal) (bibtex)

by OA Beg, A Davoudi and Taylor T. Johnson

Reference:

OA Beg, A Davoudi and Taylor T. Johnson, "Charge Pump Phase-Locked Loops and Full Wave Rectifiers for Reachability Analysis (Benchmark Proposal)", In 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH'16), EasyChair, pp. 27–35, 2016.

Bibtex Entry:

@inproceedings{beg2016arch,
  title = {Charge Pump Phase-Locked Loops and Full Wave Rectifiers for Reachability Analysis (Benchmark Proposal)},
  author = {OA Beg and A Davoudi and Taylor T. Johnson},
  year = {2016},
  booktitle = {3rd International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH'16)},
  volume = {43},
  pages = {27--35},
  publisher = {EasyChair},
  doi = {10.29007/x211},
  publabel = {W7},
  pubtype = {W},
  pdf = "research/beg2016arch.pdf",
}