2003'

BibTeX

@proceedings{DBLP:conf/time/2003,
  title     = {10th International Symposium on Temporal Representation
               and Reasoning / 4th International Conference on Temporal
               Logic (TIME-ICTL 2003), 8-10 July 2003, Cairns, Queensland,
               Australia},
  booktitle = {TIME},
  publisher = {IEEE Computer Society},
  year      = {2003},
  isbn      = {0-7695-1912-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}