Jeffrey Joyce

Publication Activity (10 Years)

Years Active: 1987-1991
Publications (10 Years): 0

Publications

Jeffrey Joyce, Erwin Liu, John M. Rushby, Natarajan Shankar, Roberto Suaya, Friedrich W. von Henke
From formal verification to silicon compilation. Compcon (1991)
Jeffrey Joyce, Greg Lomow, Konrad Slind, Brian W. Unger
Monitoring Distributed Systems. ACM Trans. Comput. Syst. 5 (2) (1987)