KhatibMH01'

BibTeX

@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://www.computer.org/proceedings/time/1107/11070021abs.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}