Author: J. C. Hill
Publication Overview
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.