Browse by Journal
Jump to: B
Number of items: 1.
B
Bowman, Howard and Faconti, Giorgio P. and Massink, Mieke (1998) Specification and Verification of Media Constraints using UPPAAL. In: Design, Specification and Verification of Interactive Systems ’98: Proceedings of the Eurographics Workshop. Eurographics . Springer, Vienna, Austria, pp. 261-277. ISBN 978-3-211-83212-7. E-ISBN 978-3-7091-3693-5. (doi:10.1007/978-3-7091-3693-5_17) (KAR id:21613) |