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

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

Mohsen A. Jafari, Rutgers University,
Bud Mishra, NYU,
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.