Andrea Matta, Carlo A. Furia, Matteo Rossi. Semi-formal and Formal Models Applied to Flexible Manufacturing Systems. In Cevdet Aykanat, Tugrul Dayar, Ibrahim Korpeoglu, editors, Computer and Information Sciences - ISCIS 2004, 19th International Symposium, Kemer-Antalya, Turkey, October 27-29, 2004. Proceedings. Volume 3280 of Lecture Notes in Computer Science, pages 718-728, Springer, 2004. [doi]
Abstract is missing.