DBLP Record 'conf/aips/Edelkamp02a'

BibTeX

@inproceedings{DBLP:conf/aips/Edelkamp02a,
  author    = {Stefan Edelkamp},
  title     = {Mixed Propositional and Numeric Planning in the Model Checking
               Integrated Planning System},
  booktitle = {AIPS Workshop on Planning for Temporal Domains},
  year      = {2002},
  pages     = {47-55},
  crossref  = {DBLP:conf/aips/2002w2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/aips/2002w2,
  editor    = {Maria Fox and
               Alexandra M. Coddington},
  title     = {AIPS 2002 Workshop on Planning for Temporal Domains, Toulous,
               France, April 24, 2002},
  booktitle = {AIPS Workshop on Planning for Temporal Domains},
  year      = {2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}