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.