EasterbrookCDGLPTT03'

BibTeX

@inproceedings{DBLP:conf/icse/EasterbrookCDGLPTT03,
  author    = {Steve M. Easterbrook and
               Marsha Chechik and
               Benet Devereux and
               Arie Gurfinkel and
               Albert Y. C. Lai and
               Victor Petrovykh and
               Anya Tafliovich and
               Christopher Thompson-Walsh},
  title     = {\chiChek: A Model Checker for Multi-Valued Reasoning},
  booktitle = {ICSE},
  year      = {2003},
  pages     = {804-805},
  ee        = {http://computer.org/proceedings/icse/1877/18770804.pdf},
  crossref  = {DBLP:conf/icse/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/icse/2003,
  title     = {Proceedings of the 25th International Conference on Software
               Engineering, May 3-10, 2003, Portland, Oregon, USA},
  booktitle = {ICSE},
  publisher = {IEEE Computer Society},
  year      = {2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}