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.
Call for Participation
The organizers have not provided a call for participation.
Some workshops invite papers and some have open solicitation.
If this is not completed the
Workshop Announcement
may have information.
Previous: Announcement
Next: Program
Workshop Index
DIMACS Homepage
Contacting the Center
Document last modified on April 13, 1998.