compact view print

Model checking for planning resource-sharing production

author
Vain, Jüri
Otto, Tauno
Kuusik, Alar
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
2004
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
url
https://www.academia.edu/17640325/Model_Checking_for_Planning_Resource_Sharing_Production
subject term
tootmisettevõtted
majanduslik efektiivsus
andmebaasid
veebiinfosüsteemid
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. https://www.academia.edu/17640325/Model_Checking_for_Planning_Resource_Sharing_Production