MODEL CHECKING PLANS FOR FLEXIBLE MANUFACTURING SYSTEMS
Silva, Leandro Dias da, Almeida, Hyggo, Perkusich, Angelo, Barros, Péricles RezendeVolume:
38
Year:
2005
Language:
english
Journal:
IFAC Proceedings Volumes
DOI:
10.3182/20050703-6-cz-1902.01500
File:
PDF, 242 KB
english, 2005