DIMACS Workshop on Computational and Complexity Issues in Automated Verification
March 25 - 28, 1996
DIMACS Center, Rutgers University, Piscataway, NJ
Presented under the auspices of the DIMACS Special Year on Logic and Algorithms.
- Bob Brayton, University of California-Berkeley, firstname.lastname@example.org
- Allen Emerson, University of Texas, email@example.com
- Joan Feigenbaum, AT&T Labs - Research, firstname.lastname@example.org
Contacting the Center
Document last modified on November 2, 1998.