Volume 8, Number 1, January 1996
: Combining Partial Order Reductions with On-the-Fly Model-Checking.
Volume 8, Number 2, March 1996
Cliff B. Jones
: Accommodating Interference in the Formal Design of Concurrent Object-Based Programs.
Volume 8, Number 3, May 1996
: Experiences with Software Specification and Verification Using LP, The Larch Proof Assistant.
, Christoph Meinel
: Mod-2-OBDDs - A Data Structure that Generalizes EXOR-Sum-of-Products and Ordered Binary Decision Diagrams.