DIMACS Workshop on Partial Order Methods in Verification (POMIV)
July 24 - 26, 1996
Princeton University, Princeton, NJ
- Organizers:
- 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.
To register, please mail or email a Workshop Registration Form to Sandy Barbu.
barbu@cs.princeton.edu
Previous: Program
Next: Registration Form
Index
DIMACS Homepage
Contacting the Center
Document last modified on August 24, 1998.