Model checking for planning resource-sharing production

Vain, J.; Otto, T.; Kuusik, A. (2004). Model checking for planning resource-sharing production. Cars & Fof 2004 : Proceedings 20th International Conference on CAD/CAM, Robotics and Factories of the Future, July 21, 22 and 23, 2004, San Cristobal - Venezuela. Ed. Miguel, A.M. San Cristobal: Nadie Nos Edita Editores, 151−158.
publitseeritud konverentsiettekanne
Vain, J.; Otto, T.; Kuusik, A.
  • Inglise
Cars & Fof 2004 : Proceedings 20th International Conference on CAD/CAM, Robotics and Factories of the Future, July 21, 22 and 23, 2004, San Cristobal - Venezuela
Miguel, A.M.
San Cristobal
Nadie Nos Edita Editores
980-12-0787-6
2004
151158
Ilmunud
3.4. Artiklid/ettekanded, mis on avaldatud valdkonda 3.1. mittekuuluvates konverentsikogumikes

Viited terviktekstile