TalTech publikatsioonid
pealdis Otto, T., Vain, J.
maakood gb
autor Otto, Tauno
Vain, Jüri
pealkiri 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 Elsevier
ilmumisaasta 2006
leheküljed p. 523-528
ISBN 978-0-08-044654-7