Model checking in planning resource-sharing based manufacturing

vastutusandmed
T.Otto, J.Vain
allikas
Information Control Problems in Manufacturing 2006 : a proceedings volume from the 12th IFAC International Symposium : St.Etienne, France. 2
ilmumiskoht
Oxford
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 523-528
ISBN
978-0-08-044654-7
Otto, T., Vain, J. Model checking in planning resource-sharing based manufacturing // Information Control Problems in Manufacturing 2006 : a proceedings volume from the 12th IFAC International Symposium : St.Etienne, France. 2. Oxford : Elsevier, 2006. p. 523-528.