@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},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8624},
  isbn      = {0-7695-1912-1},
  timestamp = {Wed, 07 Jan 2015 16:47:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/time/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"dFaDYtCHfKpAhimZr","bibbaseid":"anonymous-10thinternationalsymposiumontemporalrepresentationandreasoning4thinternationalconferenceontemporallogictimeictl2003810july2003cairnsqueenslandaustralia-2003","downloads":0,"creationDate":"2017-02-27T14:01:07.278Z","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","author_short":null,"year":2003,"bibtype":"proceedings","biburl":"https://dblp.org/pid/f/MichaelFisher.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","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","url":"http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8624","isbn":"0-7695-1912-1","timestamp":"Wed, 07 Jan 2015 16:47:20 +0100","biburl":"https://dblp.org/rec/bib/conf/time/2003","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/time/2003,\n title = {10th International Symposium on Temporal Representation and Reasoning\n / 4th International Conference on Temporal Logic {(TIME-ICTL} 2003),\n 8-10 July 2003, Cairns, Queensland, Australia},\n publisher = {{IEEE} Computer Society},\n year = {2003},\n url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8624},\n isbn = {0-7695-1912-1},\n timestamp = {Wed, 07 Jan 2015 16:47:20 +0100},\n biburl = {https://dblp.org/rec/bib/conf/time/2003},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","key":"DBLP:conf/time/2003","id":"DBLP:conf/time/2003","bibbaseid":"anonymous-10thinternationalsymposiumontemporalrepresentationandreasoning4thinternationalconferenceontemporallogictimeictl2003810july2003cairnsqueenslandaustralia-2003","urls":{"Paper":"http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8624"},"downloads":0,"html":""},"search_terms":["10th","international","symposium","temporal","representation","reasoning","4th","international","conference","temporal","logic","time","ictl","2003","july","2003","cairns","queensland","australia"],"keywords":[],"authorIDs":[],"dataSources":["dNrJbhueP34xdF85Y"]}