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.