Workshop on Controllers for Manufacturing and Automation: Specification, Synthesis, and Verification Issues
May 13, 1996 - May 15, 1996
Rutgers University, Piscataway, NJ
Presented under the auspices of the DIMACS Special Year on Logic and Algorithms.
- Mohsen A. Jafari, Rutgers University, firstname.lastname@example.org
- Bud Mishra, NYU, email@example.com
Contacting the Center
Document last modified on April 13, 1998.