DIMACS Workshop SPIN96 -- 2nd International SPIN Verification Workshop Algorithms, Applications, Tool Use, Theory

August 5, 1996
DIMACS, CoRE Building, Rutgers University

Jean-Charles Gre'goire, INRS, Univ. de Quebec, Canada, gregoire@inrs-telecom.uquebec.ca
Gerard J. Holzmann, Bell Labs, gerard@research.att.com
Doron Peled, Bell Labs, doron@research.att.com
Presented under the auspices of the DIMACS Special Year on Logic and Algorithms

Other Workshops
DIMACS Homepage
Contacting the Center
Document last modified on April 16, 1998.