{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T05:09:41Z","timestamp":1736140181016,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540626008"},{"type":"electronic","value":"9783540683308"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"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":[[1997]]},"DOI":"10.1007\/bfb0014715","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T09:12:52Z","timestamp":1132737172000},"page":"75-80","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Analysis of slope-parametric hybrid automata"],"prefix":"10.1007","author":[{"given":"Fr\u00e9d\u00e9ric","family":"Boniol","sequence":"first","affiliation":[]},{"given":"Augusto","family":"Burgue\u00f1o","sequence":"additional","affiliation":[]},{"given":"Olivier","family":"Roux","sequence":"additional","affiliation":[]},{"given":"Vlad","family":"Rusu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","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":"9_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur, T. A. Henzinger, and P-H. Ho. Automatic symbolic verification of embedded systems. In Proc. 14th Annual Real-time Systems Symposium, RTSS'93, pages 2\u201311. IEEE Computer Society Press, 1993.","DOI":"10.1109\/REAL.1993.393520"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"R. Alur, T. A. Henzinger, and M. Y. Vardi. Parametric real-time reasoning. In Proc. of the 25th Annual ACM Symposium on Theory of Computing, STOC'93, pages 592\u2013601, 1993.","DOI":"10.1145\/167088.167242"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"T. A. Henzinger and P.-H. Ho. HyTech: the cornell HYbrid TECHnology tool. In P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors, Hybrid Systems II, volume 999 of Lecture Notes in Computer Science, pages 265\u2013294. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-60472-3_14"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"T. A. Henzinger, P. W. Kopke, A. Puri, and P. Varaiya. What's decidable about hybrid automata? In Proc. of the 27th Annual ACM Symposium on Theory of Computing, STOC'95, pages 373\u2013382, 1995.","DOI":"10.1145\/225058.225162"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"O. Roux and V. Rusu. Uniformity for the decidability of hybrid automata. In Internat. Static Analysis Symposium, LNCS 1145, pages 301\u2013316, 1996.","DOI":"10.1007\/3-540-61739-6_49"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"G. M. Ziegler. Lectures on Polytopes, volume 152 of Graduate Texts in Mathematics. Springer-Verlag, 1995.","DOI":"10.1007\/978-1-4613-8431-1"}],"container-title":["Lecture Notes in Computer Science","Hybrid and Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014715","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T21:49:37Z","timestamp":1736113777000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014715"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540626008","9783540683308"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/bfb0014715","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]},"assertion":[{"value":"9 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}