{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T09:49:15Z","timestamp":1743068955579,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678984"},{"type":"electronic","value":"9783540446163"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/978-3-540-44616-3_13","type":"book-chapter","created":{"date-parts":[[2010,10,14]],"date-time":"2010-10-14T14:09:44Z","timestamp":1287065384000},"page":"219-236","source":"Crossref","is-referenced-by-count":2,"title":["An Institution of Hybrid Systems"],"prefix":"10.1007","author":[{"given":"Hugo","family":"Louren\u00e7o","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Am\u00edlcar","family":"Sernadas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_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. Theoretical Computer Science\u00a0138, 3\u201334 (1995)","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"13_CR2","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1109\/32.489079","volume":"22","author":"R. Alur","year":"1996","unstructured":"Alur, R., Henzinger, T.A., Ho, P.-H.: Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering\u00a022(3), 181\u2013201 (1996)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Hybrid Systems III: Verification and Control","year":"1996","unstructured":"Alur, R., Henzinger, T.A., Sontag, E.D. (eds.): HS 1995. LNCS, vol.\u00a01066. Springer, Heidelberg (1996)"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Hybrid Systems II","year":"1995","unstructured":"Antsaklis, P., Kohn, W., Nerode, A., Sastry, S. (eds.): HS 1994. LNCS, vol.\u00a0999. Springer, Heidelberg (1995)"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"Hybrid Systems IV","year":"1997","unstructured":"Antsaklis, P., Kohn, W., Nerode, A., Sastry, S. (eds.): HS 1996. LNCS, vol.\u00a01273. Springer, Heidelberg (1997)"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/BFb0023456","volume-title":"STACS 97","author":"L. de Alfaro","year":"1997","unstructured":"de Alfaro, L., Kapur, A., Manna, Z.: Hybrid diagrams: A deductive-algorithmic approach to hybrid system verification. In: Reischuk, R., Morvan, M. (eds.) STACS 1997. LNCS, vol.\u00a01200, pp. 153\u2013164. Springer, Heidelberg (1997)"},{"key":"13_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Hybrid Systems","year":"1993","unstructured":"Grossman, R., Nerode, A., Ravn, A., Rischel, H. (eds.): HS 1991 and HS 1992. LNCS, vol.\u00a0736. Springer, Heidelberg (1993)"},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/3-540-60630-0_3","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T.A. Henzinger","year":"1995","unstructured":"Henzinger, T.A., Ho, P.-H., Wong-Toi, H.: A user guide to HyTech. In: Brinksma, E., Cleaveland, W.R., Larsen, K.G., Margaria, T., Steffen, B. (eds.) TACAS 1995. LNCS, vol.\u00a01019, pp. 41\u201371. Springer, Heidelberg (1995)"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1007\/3-540-58468-4_177","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"A. Kapur","year":"1994","unstructured":"Kapur, A., Henzinger, T.A., Manna, Z., Pnueli, A.: Proving safety properties of hybrid systems. In: Langmaack, H., de Roever, W.-P., Vytopil, J. (eds.) FTRTFT 1994 and ProCoS 1994. LNCS, vol.\u00a0863, pp. 431\u2013454. Springer, Heidelberg (1994)"},{"key":"13_CR10","unstructured":"Louren\u00e7o, H., Sernadas, A.: Combining hybrid systems. Research report, Section of Computer Science, Department of Mathematics, Instituto Superior T\u00e9cnico, 1096 Lisboa, Portugal (1999) (submitted for publication)"},{"key":"13_CR11","unstructured":"Louren\u00e7o, H., Sernadas, A., Sernadas, C.: Aggregation and interconnection of hybrid automata: Categorial characterization. Research report, Section of Computer Science, Department of Mathematics, Instituto Superior T\u00e9cnico, 1096 Lisboa, Portugal (1998); Presented at FIREworks Meeting, Magdeburg, May 15-16"},{"key":"13_CR12","doi-asserted-by":"publisher","first-page":"729","DOI":"10.1007\/s002360050141","volume":"35","author":"A. Sernadas","year":"1998","unstructured":"Sernadas, A., Sernadas, C., Caleiro, C.: Denotational semantics of object specification. Acta Informatica\u00a035, 729\u2013773 (1998)","journal-title":"Acta Informatica"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Winskel, G., Nielsen, M.: Semantics and Logics of Computation, chapter. In: Categories in Concurrency, pp. 299\u2013354. Publications of the Newton Institute (1997)","DOI":"10.1017\/CBO9780511526619.008"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-44616-3_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,18]],"date-time":"2023-02-18T03:40:38Z","timestamp":1676691638000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-44616-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678984","9783540446163"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-44616-3_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}