Login / Signup
Cheron Vail
Publication Activity (10 Years)
Years Active: 1991-1991
Publications (10 Years): 0
</>
Publications
</>
William E. Howden
,
David Nesbitt
,
Cheron Vail
,
Bruce Wieand
Verification of complex systems using incremental operational specifications.
Inf. Sci.
(1991)