DIMACS Workshop on Partial Order Methods in Verification (POMIV)

July 24 - 26, 1996
Princeton University, Princeton, NJ

Doron Peled, AT&T Labs, doron@research.att.com
Gerard Holzmann, AT&T Labs, gerard@research.att.com
Vaughan Pratt, Stanford University, pratt@cs.stanford.edu
Presented under the auspices of the DIMACS Special Year on Logic and Algorithms.

Other Workshops
DIMACS Homepage
Contacting the Center
Document last modified on August 24, 1998.