{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:18:40Z","timestamp":1725455920070},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540626169"},{"type":"electronic","value":"9783540683421"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0023456","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T07:06:33Z","timestamp":1132383993000},"page":"153-164","source":"Crossref","is-referenced-by-count":3,"title":["Hybrid diagrams: A deductive-algorithmic approach to hybrid system verification"],"prefix":"10.1007","author":[{"given":"Luca","family":"de Alfaro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arjun","family":"Kapur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zohar","family":"Manna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"issue":"1","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":"R. Alur, C. Courcoubebetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theor. Comp. Sci., 138(1):3\u201334, 1995.","journal-title":"Theor. Comp. Sci."},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, T. Henzinger, and P. Ho. Hybrid automata: An algorithmic approach to the specification and analysis of hybrid systems. In Workshop on Hybrid Systems, volume 736 of Lect. Notes in Comp. Sci., pages 209\u2013229. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57318-6_30"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Z. Chaochen, A.P. Ravn, and M.R. Hansen. An extended duration calculus for hybrid real-time systems. In Hybrid Systems, volume 736 of Lect. Notes in Comp. Sci., pages 36\u201359. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57318-6_23"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"L. de Alfaro and Z. Manna. Temporal verification by diagram transformations. In Computer Aided Verification, volume 1102 of Lect. Notes in Comp. Sci., pages 288\u2013299. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61474-5_77"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"A. Kapur, T.A. Henzinger, Z. Manna, and A. Pnueli. Proving safety properties of hybrid systems. In FTRTFT'94, volume 863 of Lect. Notes in Comp. Sci., pages 431\u2013454. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58468-4_177"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Y. Kesten, Z. Manna, and A. Pnueli. Verifying clocked transition systems. In Hybrid Systems III, volume 1066 of Lect. Notes in Comp. Sci., pages 13\u201340. Springer-Verlag, 1996.","DOI":"10.1007\/BFb0020933"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"L. Lamport. Hybrid systems in TLA+. In Hybrid Systems, volume 736 of Lect. Notes in Comp. Sci., pages 77\u2013102. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57318-6_25"},{"key":"13_CR8","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/BF02252683","volume":"6","author":"N.A. Lynch","year":"1992","unstructured":"N.A. Lynch and H. Attiya. Using mappings to prove timing properties. Distributed Computing, 6:121\u2013139, 1992.","journal-title":"Distributed Computing"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In Proc. of the REX Workshop \u201cReal-Time: Theory in Practice\u201d, volume 600 of Lect. Notes in Comp. Sci., pages 447\u2013484. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0032003"},{"issue":"1","key":"13_CR10","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0304-3975(91)90041-Y","volume":"83","author":"Z. Manna","year":"1991","unstructured":"Z. Manna and A. Pnueli. Completing the temporal picture. Theor. Comp. Sci., 83(1):97\u2013130, 1991.","journal-title":"Theor. Comp. Sci."},{"key":"13_CR11","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1007\/BF01191722","volume":"30","author":"Z. Manna","year":"1993","unstructured":"Z. Manna and A. Pnueli. Models for reactivity. Acta Informatica, 30:609\u2013678, 1993.","journal-title":"Acta Informatica"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"S. Safra. On the complexity of \u03c9-automata. In Proc. 29th IEEE Symp. Found. of Comp. Sci., 1988.","DOI":"10.1109\/SFCS.1988.21948"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"H.B. Sipma, T.E. Uribe, and Z. Manna. Deductive model checking. In Computer Aided Verification, volume 1102, pages 208\u2013219. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61474-5_70"}],"container-title":["Lecture Notes in Computer Science","STACS 97"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023456","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:31:52Z","timestamp":1586568712000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023456"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540626169","9783540683421"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0023456","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}