BibTeX record conf/date/MammoCPNZMB12

download as .bib file

@inproceedings{DBLP:conf/date/MammoCPNZMB12,
  author    = {Biruk Mammo and
               Debapriya Chatterjee and
               Dmitry Pidan and
               Amir Nahir and
               Avi Ziv and
               Ronny Morad and
               Valeria Bertacco},
  title     = {Approximating checkers for simulation acceleration},
  booktitle = {{DATE}},
  pages     = {153--158},
  publisher = {{IEEE}},
  year      = {2012}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics