{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T13:42:02Z","timestamp":1730295722990,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1109\/sefm.2008.26","type":"proceedings-article","created":{"date-parts":[[2008,11,26]],"date-time":"2008-11-26T09:47:13Z","timestamp":1227692833000},"page":"63-72","source":"Crossref","is-referenced-by-count":3,"title":["Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations"],"prefix":"10.1109","author":[{"given":"Martin","family":"Fr\u00e4nzle","sequence":"first","affiliation":[]},{"given":"Michael R.","family":"Hansen","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(91)90122-X"},{"year":"0","key":"17"},{"key":"18","first-page":"660","author":"skakkeb\ufffdk","year":"0","journal-title":"Towards a duration calculus proof assistant in PVS"},{"article-title":"specifying and deciding quantified discrete-time duration calculus formulae using dc-valid","year":"2000","author":"pandya","key":"15"},{"key":"16","first-page":"559","article-title":"model checking ctl*[dc]","volume":"2031","author":"pandya","year":"2001","journal-title":"LNCS"},{"key":"13","article-title":"ftrtft '94","volume":"863","year":"1994","journal-title":"LNCS"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1985.1662795"},{"key":"11","first-page":"119","article-title":"domain modelling and the duration calculus, chapter on a theory of duration calculus with application","volume":"4710","author":"hansen","year":"2007","journal-title":"LNCS"},{"journal-title":"Specification and verification of hybrid and real-time systems","year":"1996","author":"laknech","key":"12"},{"key":"21","first-page":"86","author":"zhou","year":"0","journal-title":"Linear duration invariants"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60045-0_51"},{"key":"20","first-page":"58","article-title":"decid-ability and undecidability results for duration calculus","volume":"665","author":"zhou chaochen","year":"1993","journal-title":"LNCS"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.11.029"},{"key":"1","first-page":"193","article-title":"a sat-based approach for solving formulas over boolean and linear mathematical propositions","volume":"2392","author":"audemard","year":"2002","journal-title":"LNCS"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74107-7_6"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/BF01213605"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_17"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-004-0032-y"},{"journal-title":"The Yices SMT Solver","year":"2006","author":"dutertre","key":"4"},{"key":"9","article-title":"duration calculus - a formal approach to real-time systems","author":"zhou","year":"2004","journal-title":"EACTS Monographs in Theoretical Computer Science"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211086"}],"event":{"name":"2008 Sixth IEEE International Conference on Software Engineering and Formal Methods","start":{"date-parts":[[2008,11,10]]},"location":"Cape Town, South Africa","end":{"date-parts":[[2008,11,14]]}},"container-title":["2008 Sixth IEEE International Conference on Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx5\/4685778\/4685779\/04685794.pdf?arnumber=4685794","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T15:33:36Z","timestamp":1489764816000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/4685794\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"references-count":21,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1109\/sefm.2008.26","relation":{},"subject":[],"published":{"date-parts":[[2008]]}}}