Model checking in planning resource-sharing based manufacturing
author
statement of authorship
T.Otto, J.Vain
source
12th IFAC Symposium on Information Control Problems in Manufacturing : preprints. Vol. II, Industrial Engineering
location of publication
Saint-Etienne
publisher
Ecole Nationale Superieure des Mines
year of publication
pages
p. 535-540
subject term
language
inglise
Otto, T., Vain, J. Model checking in planning resource-sharing based manufacturing // 12th IFAC Symposium on Information Control Problems in Manufacturing : preprints. Vol. II, Industrial Engineering. Saint-Etienne : Ecole Nationale Superieure des Mines, 2006. p. 535-540.