@misc{indiciae912d8b835e7a,
  title = {Verifying nonlinear analog and mixed-signal circuits with inputs},
  author = {Chuchu Fan and Yu Meng and Jürgen Maier and Ezio Bartocci and Sayan Mitra and Ulrich Schmid},
  year = {2018},
  url = {https://arxiv.org/abs/1803.02975},
  note = {Source identifier: 1803.02975}
}