@entry{lem-hed-bar-02-aa-circ,
  author = {A Lemke and L Hedrich and E Barke},
  title = {Analog circuit sizing based on formal methods using affine arithmetic},
  journal = {Proceedings of the 2002 IEEE/ACM ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2002,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://dl.acm.org/doi/abs/10.1145/774572.774643?casa_token=ShFzNM3OUmsAAAAA:AZuDxW-nXIGS_h3MQjTW29hk34qUFU5hZLnBT3cyQwGdI7aU6wyooZ0YtTIkBChigZwPdAQuGzo}}},
  quotes = {... Using formal methods based on affine arithmetic, we calculate guaranteed bounds on the ... variations, we define a novel affine-arithmetic Newton operator that gives a significant im...}
}