{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,24]],"date-time":"2025-03-24T06:55:47Z","timestamp":1742799347102},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672593"},{"type":"electronic","value":"9783540464303"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46430-1_30","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T08:18:49Z","timestamp":1193473129000},"page":"352-365","source":"Crossref","is-referenced-by-count":8,"title":["Hybrid Systems Verification by Location Elimination"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Nonnengart","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,2,1]]},"reference":[{"key":"30_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, and D. L. Dill. Model checking for real-time systems. In Proceedings of the 5th Annual Symposium on Logic in Computer Science, pages 414\u2013425, 1990.","DOI":"10.1109\/LICS.1990.113766"},{"key":"30_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"A.C.H.+.9.5._.R. Alur","year":"1995","unstructured":"[ACH+95]_R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifaksi, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3\u201334, 1995.","journal-title":"Theoretical Computer Science"},{"key":"30_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","volume-title":"Hybrid Systems","author":"R. Alur","year":"1993","unstructured":"R. Alur, C. Courcoubetis, T. A. Henzinger, and P.-H. Ho. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems, pages 209\u2013229. Springer Verlag, Lecture Notes in Computer Science, vol. 736, 1993."},{"key":"30_CR4","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183\u2013235, 1994.","journal-title":"Theoretical Computer Science"},{"key":"30_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/BFb0031988","volume-title":"Real Time: Theory in Practice","author":"R. Alur","year":"1992","unstructured":"R. Alur and T. A. Henzinger. Logics and models of real-time: A survey. In J.W. de Bakker, K. Huizing, W.-P. de Roever, and G. Rozenberg, editors, Real Time: Theory in Practice, pages 74\u2013106. Springer Verlag, New York, LNCS 600, 1992."},{"issue":"3","key":"30_CR6","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1109\/32.489079","volume":"22","author":"R. Alur","year":"1996","unstructured":"Rajeev Alur, Thomas A. Henzinger, and Pei-Hsin Ho. Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering, 22(3):181\u2013201, 1996.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"30_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Hybrid Systems III","year":"1996","unstructured":"R. Alur, T. A. Henzinger, and E. Sontag, editors. Hybrid Systems III. Lecture Notes in Computer Science, Springer Verlag, 1996."},{"key":"30_CR8","series-title":"Lect Notes Comput Sci","volume-title":"Hybrid Systems II","year":"1995","unstructured":"P. Antsaklis, A. Nerode, W. Kohn, and S. Sastry, editors. Hybrid Systems II. Lecture Notes in Computer Science, vol. 999, Springer Verlag, 1995."},{"key":"30_CR9","series-title":"Lect Notes Comput Sci","volume-title":"Hybrid Systems","year":"1993","unstructured":"R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors. Hybrid Systems. Springer Verlag, Lecture Notes in Computer Science, vol. 736, 1993."},{"key":"30_CR10","doi-asserted-by":"crossref","unstructured":"T. A. Henzinger. The theory of hybrid automata. In Proceedings of the 11th LICS, pages 278\u2013292. IEEE Comp. Soc. Press, 1996.","DOI":"10.1109\/LICS.1996.561342"},{"key":"30_CR11","first-page":"394","volume-title":"Proceedings of the 7th Annual Symposium on Logic in Computer Science","author":"T. A. Henzinger","year":"1992","unstructured":"T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. In Proceedings of the 7th Annual Symposium on Logic in Computer Science, pages 394\u2013406. IEEE Computer Society Press, New York, 1992."},{"key":"30_CR12","series-title":"Technical Report","volume-title":"A deductive model checking approach for hybrid systems","author":"A. Nonnengart","year":"1999","unstructured":"Andreas Nonnengart. A deductive model checking approach for hybrid systems. Technical Report MPI-I-1999-2-006, Max-Planck-Institute for Computer Science, Saarbr\u00fccken, Germany, November 1999. Available via \n                    http:\/\/www.mpi-sb.mpg.de\/\n                    \n                  ."},{"key":"30_CR13","isbn-type":"print","volume-title":"Logic, Language and Reasoning \u2014 Essays in Honour of Dov Gabbay","author":"A. Nonnengart","year":"1999","unstructured":"Andreas Nonnengart, Hans J\u00fcrgen Ohlbach, and Andrzej Sza\u0142as. Elimination of predicate quantifiers. In Hans J\u00fcrgen Ohlbach and Uwe Reyle, editors, Logic, Language and Reasoning \u2014 Essays in Honour of Dov Gabbay. Kluwer, Dordrecht, Netherlands, 1999. ISBN: 0-7923-5687-X.","ISBN":"http:\/\/id.crossref.org\/isbn\/079235687X"},{"key":"30_CR14","series-title":"Technical Report","volume-title":"A fixpoint approach to second-order quantifier elimination with applications to correspondence theory","author":"A. Nonnengart","year":"1995","unstructured":"Andreas Nonnengart and Andrzej Sza\u0142as. A fixpoint approach to second-order quantifier elimination with applications to correspondence theory. Technical Report MPI-I-95-2-007, Max-Planck-Institute for Computer Science, Saarbr\u00fccken, Germany, March 1995. Available via: \n                    http:\/\/www.mpisb.mpg.de\/\n                    \n                  ."},{"key":"30_CR15","unstructured":"Andreas Nonnengart and Andrzej Szalas. A fixpoint approach to second-order quantifier elimination with applications to correspondence theory. in: [Or\u014299], 1999."},{"key":"30_CR16","unstructured":"Ewa Or\u0142owska, editor. Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa, volume 24 of Studies in Fuzziness and Soft Computing. Physica-Verlag, c\/o Springer Verlag, 1999. ISBN: 3-7908-1164-5."}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46430-1_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T21:53:17Z","timestamp":1551045197000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46430-1_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672593","9783540464303"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-46430-1_30","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}