Model checking for planning resource-sharing production
Vain, Jüri
;
Otto, Tauno
;
Kuusik, Alar
Proceedings 20th International Conference on CAD/CAM, Robotics and Factories of the Future : July 21, 22 and 23, 2004, San Cristobal - Venezuela
2004
/
p. 151-158
https://www.academia.edu/17640325/Model_Checking_for_Planning_Resource_Sharing_Production