Howard Bowman

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1998
Publication period end
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.