{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T16:36:03Z","timestamp":1790872563141,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540611554","type":"print"},{"value":"9783540683346","type":"electronic"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0020935","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T08:16:01Z","timestamp":1132733761000},"page":"52-63","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Hybrid cc, hybrid automata and program verification"],"prefix":"10.1007","author":[{"given":"Vineet","family":"Gupta","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Radha","family":"Jagadeesan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vijay","family":"Saraswat","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3\u201334, 1995.","journal-title":"Theoretical Computer Science"},{"key":"4_CR2","unstructured":"Rajeev Alur, T.A. Henzinger, and P.-H. Ho. Automatic symbolic verification of embedded systems. In Proceedings of the 14th Annual IEEE Real-time Systems Symposium. IEEE, 1993."},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. In Special issue on Another Look at Real-time Systems, Proceedings of the IEEE, September 1991.","DOI":"10.1109\/5.97297"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"A. Benveniste, M. Le Borgne, and Paul Le Guernic. Hybrid Systems: The SIGNAL approach. Number 736 in LNCS. Springer Verlag, 1993.","DOI":"10.1007\/3-540-57318-6_31"},{"key":"4_CR5","first-page":"11","volume-title":"Information Processing 89","author":"G. Berry","year":"1989","unstructured":"G. Berry. Real-time programming: General purpose or special-purpose languages. In G. Ritter, editor, Information Processing 89, pages 11\u201317. Elsevier Science Publishers B.V. (North Holland), 1989."},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"G. Berry. Preemption in concurrent systems. In Proc. of FSTTCS. Springer-Verlag, 1993. LNCS 781.","DOI":"10.1007\/3-540-57529-4_44"},{"issue":"2","key":"4_CR7","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"G. Berry and G. Gonthier. The Esterel programming language: Design, semantics and implementation. Science of Computer Programming, 19(2):87\u2013152, November 1992.","journal-title":"Science of Computer Programming"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"E. M. Clarke, D. E. Long, and K. L. McMillan. A language for compositional specification and verification of finite state hardware controllers. Proceedings of the IEEE, 79(9), September 1991.","DOI":"10.1109\/5.97298"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"P. Le Guernic, M. Le Borgne, T. Gauthier, and C. Le Maire. Programming real time applications with signal. In Special issue on Another Look at Real-time Systems, Proceedings of the IEEE, September 1991.","DOI":"10.1109\/5.97301"},{"key":"4_CR10","unstructured":"Vineet Gupta, Radha Jagadeesan, Vijay Saraswat, and Daniel Bobrow. Computing with continuous change. Submitted to Science of Computer Programming."},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Vineet Gupta, Radha Jagadeesan, Vijay Saraswat, and Daniel Bobrow. Programming in hybrid constraint languages. In Hybrid Systems II, volume 999 of Lecture notes in computer science. Springer Verlag, November 1995.","DOI":"10.1007\/3-540-60472-3_12"},{"key":"4_CR12","unstructured":"G. Gogic, H. Kautz, C. Papadimitriou, and B. Selman. The comparitive linguistics of knowledge representations. In 14th International joint conference on Artificial intelligence, 1995."},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Robert Grossman, Anil Nerode, Anders Ravn, and Hans Rischel, editors. Hybrid Systems. Springer Verlag, 1993. LNCS 736.","DOI":"10.1007\/3-540-57318-6"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"N. Halbwachs. Synchronous programming of reactive systems. The Kluwer international series in Engineering and Computer Science. Kluwer Academic publishers, 1993.","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel. Statecharts: A visual approach to complex systems. Science of Computer Programming, 8:231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"N. Halbwachs, P. Caspi, and D. Pilaud. The synchronous programming language lustre. In Special issue on Another Look at Real-time Systems, Proceedings of the IEEE, September 1991.","DOI":"10.1109\/5.97300"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"David Harel and Amir Pnueli. Logics and Models of Concurrent Systems, volume 13, chapter On the development of reactive systems, pages 471\u2013498. NATO Advanced Study Institute, 1985.","DOI":"10.1007\/978-3-642-82453-1_17"},{"key":"4_CR18","unstructured":"Hybrid Systems II. Springer Verlag, 1995. LNCS 999."},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"L.J. Jagadeesan, C. Puchol, and J.E. Von Olnhausen. Safety property verification of esterel programs and applications to telecommunications software. In Proceedings of CAV, LNCS 939, 1995.","DOI":"10.1007\/3-540-60045-0_45"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, 1991. 427 pp.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"4_CR21","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Ray Reiter. A logic for default reasoning. Artificial Intelligence, 13:81\u2013132, 1980.","journal-title":"Artificial Intelligence"},{"key":"4_CR22","unstructured":"Vijay A. Saraswat. Concurrent Constraint Programming Languages. PhD thesis, Carnegie-Mellon University, January 1989. To appear, Doctoral Dissertation Award and Logic Programming Series, MIT Press, 1992."},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"V. A. Saraswat, R. Jagadeesan, and V. Gupta. Default Timed Concurrent Constraint Programming. In Proceedings of Twenty Second ACM Symposium on Principles of Programming Languages, San Francisco, January 1995.","DOI":"10.1145\/199448.199513"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems III"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0020935","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T15:45:41Z","timestamp":1683301541000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0020935"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540611554","9783540683346"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0020935","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"10 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}