Skip to main content
Kent Academic Repository

Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping
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)
Format: PDF Format: Postscript

This list was generated on Thu Mar 28 23:15:36 2024 GMT.