DBLP Record 'journals/ki/EdelkampJMRS08'

BibTeX

@article{DBLP:journals/ki/EdelkampJMRS08,
  author    = {Stefan Edelkamp and
               Shahid Jabbar and
               Dino Midzic and
               Daniel Rikowski and
               Damian Sulewski},
  title     = {External Memory Search for Verification of Multi-threaded
               C++ Programs},
  journal   = {KI},
  volume    = {22},
  number    = {2},
  year      = {2008},
  pages     = {44-50},
  ee        = {http://www.kuenstliche-intelligenz.de/fileadmin/template/main/archiv/pdf/ki2008-02_page44_web_teaser.pdf},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}