{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T21:33:36Z","timestamp":1725399216170},"reference-count":12,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/time.2003.1214877","type":"proceedings-article","created":{"date-parts":[[2004,1,24]],"date-time":"2004-01-24T04:33:03Z","timestamp":1074918783000},"page":"26-36","source":"Crossref","is-referenced-by-count":0,"title":["Reasoning about extremal properties of events"],"prefix":"10.1109","author":[{"given":"J.K.","family":"Deka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/174644.174651"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1993.1025"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(01)00059-5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/216636.216661"},{"key":"ref11","article-title":"Quantitative temporal reasoning","author":"emerson","year":"1989","journal-title":"First Annual Workshop on Computer-Aided Verification"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/43.275352"},{"journal-title":"Principles of Artificial Intelligence","year":"1980","author":"nilsson","key":"ref12"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/6.499951"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1993.1024"},{"journal-title":"Introduction to Algorithms","year":"1990","author":"cormen","key":"ref9"},{"journal-title":"Timed Automata","year":"1998","author":"alur","key":"ref1"}],"event":{"name":"10th International Symposium on Temporal Representation and Reasoning and Fourth International Conference on Temporal Logic. TIME-ICTL 2003","acronym":"TIME-03","location":"Cairns, Qld., Australia"},"container-title":["10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8624\/27321\/01214877.pdf?arnumber=1214877","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T00:43:08Z","timestamp":1489452188000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1214877\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/time.2003.1214877","relation":{},"subject":[]}}