dblp.uni-trier.de www.uni-trier.de

10. TIME 2003: Cairns, Queensland, Australia

10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 8-10 July 2003, Cairns, Queensland, Australia. IEEE Computer Society 2003, ISBN 0-7695-1912-1 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
@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}
}

Invited Lectures

Research Papers

Copyright © Fri Mar 12 17:22:22 2010 by Michael Ley (ley@uni-trier.de)