Model checking in planning resource-sharing based manufacturing
author
statement of authorship
T.Otto, J.Vain
source
Information Control Problems in Manufacturing 2006 : a proceedings volume from the 12th IFAC International Symposium : St.Etienne, France. 2
location of publication
Oxford
publisher
year of publication
pages
p. 523-528
ISBN
978-0-08-044654-7
language
inglise
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.