{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T07:21:41Z","timestamp":1771485701021,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642220111","type":"print"},{"value":"9783642220128","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22012-8_31","type":"book-chapter","created":{"date-parts":[[2011,6,18]],"date-time":"2011-06-18T07:29:39Z","timestamp":1308382179000},"page":"392-403","source":"Crossref","is-referenced-by-count":15,"title":["Programming with Infinitesimals: A While-Language for Hybrid System Modeling"],"prefix":"10.1007","author":[{"given":"Kohei","family":"Suenaga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ichiro","family":"Hasuo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"31_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theor. Comp. Sci.\u00a0138(1), 3\u201334 (1995)","journal-title":"Theor. Comp. Sci."},{"issue":"2","key":"31_CR2","doi-asserted-by":"crossref","first-page":"251","DOI":"10.3233\/FI-2009-0043","volume":"91","author":"S. Bliudze","year":"2009","unstructured":"Bliudze, S., Krob, D.: Modelling of complex systems: Systems as dataflow machines. Fundam. Inform.\u00a091(2), 251\u2013274 (2009)","journal-title":"Fundam. Inform."},{"issue":"1","key":"31_CR3","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1137\/0207005","volume":"7","author":"S.A. Cook","year":"1978","unstructured":"Cook, S.A.: Soundness and completeness of an axiom system for program verification. SIAM Journ. Comput.\u00a07(1), 70\u201390 (1978)","journal-title":"SIAM Journ. Comput."},{"key":"31_CR4","volume-title":"An Introduction to Nonstandard Real Analysis","author":"A.E. Hurd","year":"1985","unstructured":"Hurd, A.E., Loeb, P.A.: An Introduction to Nonstandard Real Analysis. Academic Press, London (1985)"},{"issue":"2","key":"31_CR5","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s10817-008-9103-8","volume":"41","author":"A. Platzer","year":"2008","unstructured":"Platzer, A.: Differential dynamic logic for hybrid systems. J. Autom. Reasoning\u00a041(2), 143\u2013189 (2008)","journal-title":"J. Autom. Reasoning"},{"issue":"1","key":"31_CR6","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1093\/logcom\/exn070","volume":"20","author":"A. Platzer","year":"2010","unstructured":"Platzer, A.: Differential-algebraic dynamic logic for differential-algebraic programs. J. Log. Comput.\u00a020(1), 309\u2013352 (2010)","journal-title":"J. Log. Comput."},{"key":"31_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-540-71070-7_15","volume-title":"Automated Reasoning","author":"A. Platzer","year":"2008","unstructured":"Platzer, A., Quesel, J.-D.: KeYmaera: A hybrid theorem prover for hybrid systems (System description). In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol.\u00a05195, pp. 171\u2013178. Springer, Heidelberg (2008)"},{"key":"31_CR8","series-title":"LNCS","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-32008-1","volume-title":"Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems","author":"H. Rust","year":"2005","unstructured":"Rust, H.: Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems. LNCS, vol.\u00a03456. Springer, Heidelberg (2005)"},{"key":"31_CR9","doi-asserted-by":"crossref","unstructured":"Suenaga, K., Hasuo, I.: Programming with infinitesimals: A While-language for hybrid system modeling. Extended version with proofs (April 2011)","DOI":"10.1007\/978-3-642-22012-8_31"},{"key":"31_CR10","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3054.001.0001","volume-title":"The Formal Semantics of Programming Languages","author":"G. Winskel","year":"1993","unstructured":"Winskel, G.: The Formal Semantics of Programming Languages. MIT Press, Cambridge (1993)"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22012-8_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,20]],"date-time":"2020-06-20T10:04:22Z","timestamp":1592647462000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22012-8_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642220111","9783642220128"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22012-8_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}