Author: J. C. Hill
Publications
Publication period start: 1997
Number of co-authors: 1
Co-authors
Number of
publications with favourite co-authors
Productive Colleagues
Most productive
colleagues in number of publications
Publications
Hill, J. C., Wright, P. C. (1997): From text to Petri Nets: the difficulties of describing accident scenarios formally. In: Harrison, Michael D., Torres, Juan Carlos (eds.) DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop June 4-6, 1997, Granada, Spain. pp. 161-175.