{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T12:38:05Z","timestamp":1754483885724},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600459"},{"type":"electronic","value":"9783540494133"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60045-0_64","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:36:31Z","timestamp":1330277791000},"page":"381-394","source":"Crossref","is-referenced-by-count":30,"title":["Automated analysis of an audio control protocol"],"prefix":"10.1007","author":[{"given":"Pei -Hsin","family":"Ho","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Howard","family":"Wong-Toi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"30_CR1","doi-asserted-by":"crossref","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, Lecture Notes in Computer Science 736, pages 209\u2013229. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57318-6_30"},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur, T.A. Henzinger, and P.-H. Ho. Automatic symbolic verification of embedded systems. In Proceedings of the 14th Annual Real-time Systems Symposium, pages 2\u201311. IEEE Computer Society Press, 1993.","DOI":"10.1109\/REAL.1993.393520"},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"R. Alur, T.A. Henzinger, and M.Y. Vardi. Parametric real-time reasoning. In Proceedings of the 25th Annual Symposium on Theory of Computing, pages 592\u2013601. ACM Press, 1993.","DOI":"10.1145\/167088.167242"},{"key":"30_CR4","doi-asserted-by":"crossref","unstructured":"D. Bosscher, I. Polak, and F. Vaandrager. Verification of an audio-control protocol. In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, FTRTFT 94: Formal Techniques in Real-time and Fault-tolerant Systems, Lecture Notes in Computer Science 863, pages 170\u2013192. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58468-4_165"},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In Proceedings of the Fifth Annual Symposium on Principles of Programming Languages. ACM Press, 1978.","DOI":"10.1145\/512760.512770"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"N. Halbwachs. Delay analysis in synchronous programs. In C. Courcoubetis, editor, CAV 93: Computer-aided Verification, Lecture Notes in Computer Science 697, pages 333\u2013346. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56922-7_28"},{"key":"30_CR7","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger and P.-H. Ho. HyTech: The Cornell Hybrid Technology Tool. To appear, 1995.","DOI":"10.1007\/3-540-60472-3_14"},{"key":"30_CR8","doi-asserted-by":"crossref","unstructured":"N. Halbwachs, P. Raymond, and Y.-E. Proy. Verification of linear hybrid systems by means of convex approximation. In Proceedings of the First Static Analysis Symposium, 1994.","DOI":"10.1007\/3-540-58485-4_43"},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"N.A. Lynch and F. Vaandrager. Action transducers and timed automata. In R.J. Cleaveland, editor, CONCUR 92: Theories of Concurrency, Lecture Notes in Computer Science 630, pages 436\u2013455. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0084808"},{"key":"30_CR10","doi-asserted-by":"crossref","unstructured":"A. Olivero, J. Sifakis, and S. Yovine. Using abstractions for the verification of linear hybrid systems. In D.L. Dill, editor, CAV 94: Computer-aided Verification, Lecture Notes in Computer Science 818, pages 81\u201394. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58179-0_45"},{"key":"30_CR11","volume-title":"PhD thesis","author":"H. Wong-Toi","year":"1994","unstructured":"Howard Wong-Toi. Symbolic Approximations for Verifying Real-Time Systems. PhD thesis, Department of Computer Science, Stanford University, CA, December 1994."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60045-0_64.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:28:56Z","timestamp":1605648536000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60045-0_64"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600459","9783540494133"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-60045-0_64","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}