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
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
may have information.
Contacting the Center
Document last modified on April 13, 1998.