Login / Signup
Ray Turner
Publication Activity (10 Years)
Years Active: 1987-1999
Publications (10 Years): 0
</>
Publications
</>
Ray Turner
System-Level Verification - A Comparison of Approaches.
IEEE International Workshop on Rapid System Prototyping
(1999)
Ray Turner
A Theory of Properties.
J. Symb. Log.
52 (2) (1987)