@inproceedings{DBLP:conf/time/KhatibMH01,
  author    = {Lina Khatib and
               Nicola Muscettola and
               Klaus Havelund},
  title     = {Mapping Temporal Planning Constraints into Timed Automata},
  booktitle = {TIME},
  year      = {2001},
  pages     = {21-27},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/TIME.2001.930693},
  crossref  = {DBLP:conf/time/2001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/time/2001,
  title     = {Eigth International Symposium on Temporal Representation
               and Reasoning, TIME-01, Civdale del Friuli, Italy, June
               14-16, 2001},
  booktitle = {TIME},
  publisher = {IEEE Computer Society},
  year      = {2001},
  isbn      = {0-7695-1107-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}