Browse by Person (creator, editor, contributor, etc.)
Number of items: 5.
Conference or workshop item
Bowman, Howard and Faconti, Giorgio and Massink, M.
Specification and Verification of Media Constraints using UPPAAL.
In: 5th Eurographics Workshop on the Design, Specification and Verification of Interactive Systems, DSV-IS 98, Jun 03-05, 1998, Abington, England, .
(Full text available)