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