@entry{tha-pos-din-06-aa,
  author = {B Thanigaivelan and A Postula and Y Ding},
  title = {A self-validated computation approach to symbolic analysis of analog integrated circuits},
  journal = {Symbolic Methods and ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2006,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://www.researchgate.net/profile/Adam-Postula/publication/43461554_A_self-validated_computation_approach_to_symbolic_analysis_of_analog_integrated_circuits/links/0fcfd5123751fefdee000000/A-self-validated-computation-approach-to-symbolic-analysis-of-analog-integrated-circuits.pdf}}},
  quotes = {... Affine Arithmetic models used for Self-Validated Computation or SVC. The expressions obtained using our approach, based on the affine arithmetic ... Computation and Affine Arithmetic. ...}
}