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.

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.