Workshop on Controllers for Manufacturing and Automation: Specification, Synthesis, and Verification Issues

May 13, 1996 - May 15, 1996
Rutgers University, Piscataway, NJ

Organizers:
Mohsen A. Jafari, Rutgers University, jafari@gandalf.rutgers.edu
Bud Mishra, NYU, mishra@anihccam.cs.nyu.edu
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 13, 1998.