Joseph Kljaich Jr.

Publication Activity (10 Years)

Years Active: 1984-1989
Publications (10 Years): 0

Publications

Joseph Kljaich Jr., Brian T. Smith, Anthony S. Wojcik
Formal Verification of Fault Tolerance Using Theorem-Proving Techniques. IEEE Trans. Computers 38 (3) (1989)
Anthony S. Wojcik, Joseph Kljaich Jr., Nagendra C. E. Srinivas
A formal design verification system based on an automated reasoning system. DAC (1984)