Author: Howard Bowman
Publication Overview
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.