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.
The organizers have not provided a call for participation.
Previous: Announcement
Next: Program
Index
DIMACS Homepage
Contacting the Center
Document last modified on August 24, 1998.