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},
  publisher = {IEEE Computer Society},
  year      = {2003},
  isbn      = {0-7695-1912-1},
  crossref  = {DBLP:conf/time/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

©2004 Association for Computing Machinery