{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T07:16:13Z","timestamp":1771485373254,"version":"3.50.1"},"reference-count":16,"publisher":"Oxford University Press (OUP)","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2010,2,1]]},"DOI":"10.1093\/logcom\/exn070","type":"journal-article","created":{"date-parts":[[2008,11,19]],"date-time":"2008-11-19T03:17:35Z","timestamp":1227064655000},"page":"309-352","source":"Crossref","is-referenced-by-count":93,"title":["Differential-algebraic Dynamic Logic for Differential-algebraic Programs"],"prefix":"10.1093","volume":"20","author":[{"given":"A.","family":"Platzer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2008,11,18]]},"reference":[{"key":"1_25827927","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","year":"1994","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"6_32647970","doi-asserted-by":"crossref","first-page":"583","DOI":"10.1142\/S012905410300190X","volume":"14","year":"2003","journal-title":"INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE"},{"key":"7_26775971","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/S0747-7171(08)80152-6","volume":"12","year":"1991","journal-title":"JOURNAL OF SYMBOLIC COMPUTATION"},{"key":"11_32647971","doi-asserted-by":"crossref","first-page":"985","DOI":"10.1109\/5.871305","volume":"88","year":"2000","journal-title":"IEEE"},{"key":"12_32647972","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1023\/A:1027357912519","volume":"31","year":"2003","journal-title":"JOURNAL OF AUTOMATED REASONING"},{"key":"18_32647973","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1137\/0909004","volume":"9","year":"1988","journal-title":"JOURNAL OF SCIENTIFIC AND STATISTICAL COMPUTING"},{"key":"23_32647974","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2514\/atcq.15.1.1","volume":"15","year":"2007","journal-title":"AIR TRAFFIC CONTROL QUARTERLY"},{"key":"24_32647975","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1002\/rnc.592","volume":"11","year":"2001","journal-title":"INTERNATIONAL JOURNAL OF ROBUST NONLINEAR CONTROL"},{"key":"26_32647976","first-page":"926","volume":"88","year":"2000","journal-title":"PROCEEDINGS OF IEEE SPECIAL ISSUE ON HYBRID SYSTEMS THEORY APPLICATIONS"},{"key":"31_32647977","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/s10817-008-9103-8","volume":"41","year":"2008","journal-title":"JOURNAL OF AUTOMATED REASONING"},{"key":"36_26489178","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0003-4843(79)90021-4","volume":"17","year":"1979","journal-title":"ANNALS OF MATHEMATICAL LOGIC"},{"key":"38_32647978","doi-asserted-by":"crossref","first-page":"1415","DOI":"10.1109\/TAC.2007.902736","volume":"52","year":"2007","journal-title":"IEEE TRANSACTIONS ONAUTOMATED CONTROL"},{"key":"40_32647979","doi-asserted-by":"crossref","first-page":"937","DOI":"10.1016\/S0304-3975(02)00547-9","volume":"290","year":"2003","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"42_32647980","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/S0304-3975(00)00308-X","volume":"274","year":"2002","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"44_32647981","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1023\/A:1022587501759","volume":"30","year":"2003","journal-title":"JOURNAL OF AUTOMATED REASONING"},{"key":"45_32647982","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1109\/9.664154","volume":"43","year":"1998","journal-title":"IEEE TRANSACTIONS ON AUTOMATED CONTROL"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/20\/1\/309\/2801940\/exn070.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T14:59:55Z","timestamp":1557932395000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exn070"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11,18]]},"references-count":16,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2010,2,1]]},"published-print":{"date-parts":[[2010,2,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exn070","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,11,18]]}}}