DIMACS Workshop on Partial Order Methods in Verification (POMIV)
July 24 - 26, 1996
Princeton University, Princeton, NJ
Presented under the auspices of the DIMACS Special Year on Logic and Algorithms.
- Doron Peled, AT&T Labs, email@example.com
- Gerard Holzmann, AT&T Labs, firstname.lastname@example.org
- Vaughan Pratt, Stanford University, email@example.com
Contacting the Center
Document last modified on August 24, 1998.