{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T20:00:24Z","timestamp":1725739224836},"publisher-location":"Vienna","reference-count":15,"publisher":"Springer Vienna","isbn-type":[{"type":"print","value":"9783211832127"},{"type":"electronic","value":"9783709136935"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/978-3-7091-3693-5_17","type":"book-chapter","created":{"date-parts":[[2013,7,4]],"date-time":"2013-07-04T14:43:00Z","timestamp":1372948980000},"page":"261-277","source":"Crossref","is-referenced-by-count":8,"title":["Specification and Verification of Media Constraints using UPPAAL"],"prefix":"10.1007","author":[{"given":"Howard","family":"Bowman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giorgio P.","family":"Faconti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mieke","family":"Massink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","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. Dill. A theory of timed automata. Theoretical Computer Science, (126):183\u2013235, 1994.","journal-title":"Theoretical Computer Science"},{"key":"17_CR2","volume-title":"Integrating and communicating design perspectives with QOC design rationale","author":"V Bellotti","year":"1994","unstructured":"V. Bellotti and A. MacLean. Integrating and communicating design perspectives with QOC design rationale. Technical Report ID\/WP29, ESPRIT 7040 -AMODEUS, 1994."},{"key":"17_CR3","first-page":"244","volume-title":"Proceedings of the 8th International Conference on Computer-Aided Verification, LNCS 1102","author":"J Bengtsson","year":"1996","unstructured":"Johan Bengtsson, W. O. David Griffioen, Kare J. Kristoffersen, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi. Verification of an audio protocol with bus collision using uppaal. In R. Alur and T. A. Henzinger, editors, Proceedings of the 8th International Conference on Computer-Aided Verification, LNCS 1102, pages 244\u2013256, New Brunswick, New Jersey, USA, July 1996."},{"key":"17_CR4","volume-title":"Formal Specification of Distributed Multimedia Systems","author":"GS Blair","year":"1997","unstructured":"G.S. Blair, L. Blair, H. Bowman, and A. Chetwynd. Formal Specification of Distributed Multimedia Systems. University College London Press, September 1997."},{"key":"17_CR5","volume-title":"A standard reference model for intelligent presentation systems","author":"M Bordegoni","year":"1998","unstructured":"M. Bordegoni, G. Faconti, S. Feiner, M. Maybury, T. Rist, S. Ruggieri, P. Trahanias, and M. Wilson. A standard reference model for intelligent presentation systems. Computer Standards and Interfaces, 1998."},{"key":"17_CR6","volume-title":"Automatic verification of a lip synchronisation algorithm using UPPAAL","author":"H Bowman","year":"1998","unstructured":"H. Bowman, G. Faconti, J-P. Katoen, D. Latella, and M. Massink. Automatic verification of a lip synchronisation algorithm using UPPAAL. Accepted at FMICS\u201998, Amsterdam, The Netherlands, May 1998."},{"key":"17_CR7","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1007\/BFb0035403","volume-title":"Proceedings of the 3rd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems","author":"PR D\u2019Argenio","year":"1997","unstructured":"P.R. D\u2019Argenio, J.-P. Katoen, T.C. Ruys, and J. Tretmans. The bounded retransmission protocol must be on time! In Proceedings of the 3rd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, LNCS 1217, pages 416\u2013431, Enschede, The Netherlands, April 1997."},{"key":"17_CR8","volume-title":"Hybrid Systems III, LNCS1066","author":"C Daws","year":"1996","unstructured":"C. Daws, A. Olivero, S. Tripakis, and S. Yovine. The tool KRONOS. In Hybrid Systems III, LNCS1066. Springer-Verlag, 1996."},{"key":"17_CR9","volume-title":"Performance Modelling of Communication Networks and Computer Architectures","author":"PG Harrison","year":"1993","unstructured":"P.G. Harrison and N.M. Patel. Performance Modelling of Communication Networks and Computer Architectures. Addison-Wesley, 1993."},{"key":"17_CR10","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1109\/REAL.1997.641264","volume-title":"Proceedings of the 18th IEEE Real-Time Systems Symposium","author":"K Havelund","year":"1997","unstructured":"Klaus Havelund, Arne Skou, Kim G. Larsen, and Kristian Lund. Formal modelling and analysis of an audio\/video protocol: An industrial case study using uppaal. In Proceedings of the 18th IEEE Real-Time Systems Symposium, pages 2\u201313, San Francisco, California, USA, 3\u20135 December 1997."},{"key":"17_CR11","first-page":"83","volume":"3","author":"I Herman","year":"1996","unstructured":"I. Herman, G. Reynolds, and J. Van Loo. PREMO: An emerging standard for multimedia, part i: Overview and framework. IEEE MultiMedia, 3:83\u201389, 1996.","journal-title":"IEEE MultiMedia"},{"key":"17_CR12","volume-title":"Proceedings of the 2nd SPIN Workshop","author":"HE Jensen","year":"1996","unstructured":"Henrik Ejersbo Jensen, Kim G. Larsen, and Arne Skou. Modelling and analysis of a collision avoidance protocol using spin and uppaal. In Proceedings of the 2nd SPIN Workshop, Rutgers University, New Jersey, USA, August 1996."},{"key":"17_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Z Manna","year":"1992","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, 1992."},{"key":"17_CR14","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"key":"17_CR15","first-page":"4","volume-title":"Proceedings of the 7th International Conference on Formal Description Techniques","author":"W Yi","year":"1994","unstructured":"Wang Yi, Paul Pettersson, and Mats Daniels. Automatic verification of real-time communicating systems by constraint solving. In Proceedings of the 7th International Conference on Formal Description Techniques, Berne, Switzerland, 4\u20137 October 1994."}],"container-title":["Eurographics","Design, Specification and Verification of Interactive Systems \u201998"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7091-3693-5_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T11:46:50Z","timestamp":1557920810000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-3693-5_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783211832127","9783709136935"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-3693-5_17","relation":{},"ISSN":["0946-2767"],"issn-type":[{"type":"print","value":"0946-2767"}],"subject":[],"published":{"date-parts":[[1998]]}}}