BibTeX record conf/date/WangYIG06

download as .bib file

@inproceedings{DBLP:conf/date/WangYIG06,
  author    = {Chao Wang and
               Zijiang Yang and
               Franjo Ivancic and
               Aarti Gupta},
  title     = {Disjunctive image computation for embedded software verification},
  booktitle = {{DATE}},
  pages     = {1205--1210},
  publisher = {European Design and Automation Association, Leuven, Belgium},
  year      = {2006}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics