Mark S. Laventhal

Publication Activity (10 Years)

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

Publications

Daryl Odnert, Robert Hansen, Manoj Dadoo, Mark S. Laventhal
Architecture and compiler enhancements for PA-RISC workstations. Compcon (1991)
Mark S. Laventhal
A methodology for the development of reliable synchronization software. COMPSAC (1979)
Mark S. Laventhal
Verifying programs which operate on data structures. Reliable Software (1975)