DBLP BibTeX Record 'conf/kbse/ShlyakhterSJST03'

@inproceedings{DBLP:conf/kbse/ShlyakhterSJST03,
  author    = {Ilya Shlyakhter and
               Robert Seater and
               Daniel Jackson and
               Manu Sridharan and
               Mana Taghdiri},
  title     = {Debugging Overconstrained Declarative Models Using Unsatisfiable
               Cores},
  booktitle = {ASE},
  year      = {2003},
  pages     = {94-105},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/ASE.2003.1240298},
  crossref  = {DBLP:conf/kbse/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/kbse/2003,
  title     = {18th IEEE International Conference on Automated Software
               Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada},
  booktitle = {ASE},
  publisher = {IEEE Computer Society},
  year      = {2003},
  isbn      = {0-7695-2035-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Last update 2009-06-09 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page