Author: Howard Bowman
Publications
Publication period start: 1998
Number of co-authors: 2
Co-authors
Number of
publications with favourite co-authors
Productive Colleagues
Most productive
colleagues in number of publications
Publications
Bowman, Howard, Faconti, Giorgio P., Massink, Mieke (1998): Specification and Verification of Media Constraints using UPAAL. In: Markopoulos, Panos, Johnson, Peter (eds.) DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Proceedings of the Fifth International Eurographics Workshop June 3-5, 1998, Abingdon, United Kingdom. pp. 261-277.