BibTeX record conf/vlsid/CostaDMD18

download as .bib file

@inproceedings{DBLP:conf/vlsid/CostaDMD18,
  author    = {Antonio Anastasio Bruto da Costa and
               Shriya Dharade and
               Sudipa Mandal and
               Pallab Dasgupta},
  title     = {AMS-Miner: Mining {AMS} Assertions Using Interval Arithmetic},
  booktitle = {{VLSI} Design},
  pages     = {404--409},
  publisher = {{IEEE} Computer Society},
  year      = {2018}
}
maintained by Schloss Dagstuhl LZI at University of Trier