Model checking for planning resource-sharing production
author
statement of authorship
J. Vain, T. Otto, A. Kuusik
source
Proceedings 20th International Conference on CAD/CAM, Robotics and Factories of the Future : July 21, 22 and 23, 2004, San Cristobal - Venezuela
location of publication
San Cristobal
publisher
Nadie Nos Edita Editores
year of publication
pages
p. 151-158
conference name, date
20th International Conference on CAD/CAM, Robotics and Factories of the Future, July 21-23, 2004
conference location
San Cristobal, Venezuela
ISBN
980-12-0787-6
language
inglise
Vain, J., Otto, T., Kuusik, A. Model checking for planning resource-sharing production // Proceedings 20th International Conference on CAD/CAM, Robotics and Factories of the Future : July 21, 22 and 23, 2004, San Cristobal - Venezuela. San Cristobal : Nadie Nos Edita Editores, 2004. p. 151-158.