KeidarR03'

BibTeX

@inproceedings{DBLP:conf/iwfm/KeidarR03,
  author    = {Sharon Keidar and
               Yoav Rodeh},
  title     = {Searching for Counter-Examples Adaptively},
  booktitle = {IWFM},
  year      = {2003},
  ee        = {http://ewic.bcs.org/conferences/2003/iwfm03/papers/paper2.htm},
  crossref  = {DBLP:conf/iwfm/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/iwfm/2003,
  editor    = {Joseph M. Morris and
               Benjamin Aziz and
               Fr{\'e}d{\'e}ric Oehl},
  title     = {6th International Workshop on Formal Methods, IWFM 2003,
               Dublin City University. 11 July, 2003},
  booktitle = {IWFM},
  publisher = {BCS},
  series    = {Workshops in Computing},
  year      = {2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}