@entry{tha-pos-10-aa,
  author = {B Thanigaivelan and A Postula...},
  title = {Live Demo: Affine arithmetic concept based Symbolic Circuit Analyser},
  journal = {Proceedings of 2010 ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2010,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://ieeexplore.ieee.org/abstract/document/5537017/?casa_token=hUhB-ODGz70AAAAA:BEZSp3Y6cFMTDLkAwERvwss3-f8jYYuJAsso0lfJ5X4aOJh8meC9GLvBHKc7foXVp2LFmknx}}},
  quotes = {... The symbolic circuit analyser demonstrated here is defined with affine arithmetic concepts ... in the conventional models based on affine arithmetic concepts. The details of model ...}
}