Model checking for planning resource-sharing production

vastutusandmed
J. Vain, T. Otto, A. Kuusik
allikas
Proceedings 20th International Conference on CAD/CAM, Robotics and Factories of the Future : July 21, 22 and 23, 2004, San Cristobal - Venezuela
ilmumiskoht
San Cristobal
kirjastus/väljaandja
Nadie Nos Edita Editores
ilmumisaasta
leheküljed
p. 151-158
konverentsi nimetus, aeg
20th International Conference on CAD/CAM, Robotics and Factories of the Future, July 21-23, 2004
konverentsi toimumispaik
San Cristobal, Venezuela
ISBN
980-12-0787-6
keel
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.