DBLP BibTeX Record 'conf/flairs/WolflMS07'

@inproceedings{DBLP:conf/flairs/WolflMS07,
  author    = {Stefan W{\"o}lfl and
               Till Mossakowski and
               Lutz Schr{\"o}der},
  title     = {Qualitative Constraint Calculi: Heterogeneous Verification
               of Composition Tables},
  booktitle = {FLAIRS Conference},
  year      = {2007},
  pages     = {665-},
  crossref  = {DBLP:conf/flairs/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/flairs/2007,
  editor    = {David Wilson and
               Geoff Sutcliffe},
  title     = {Proceedings of the Twentieth International Florida Artificial
               Intelligence Research Society Conference, May 7-9, 2007,
               Key West, Florida, USA},
  booktitle = {FLAIRS Conference},
  publisher = {AAAI Press},
  year      = {2007},
  isbn      = {978-1-57735-319-5},
  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