Solving line balancing problems with model checking
statement of authorship
Jüri Vain, Ingmar Randvee, Tiit Riismaa, and Juhan Ernits
journal volume number month
8
year of publication
pages
4, p. 211-222 : ill
ISSN
1406-0175
notes
Bibliogr.: 15 ref
review
Kokkuvõte: Mudelkontrolli kasutamine koosteliini tasakaalustusülesande lahendamisel
language
inglise
Vain, J., Randvee, I., Riismaa, T., Ernits, J. Solving line balancing problems with model checking // Proceedings of the Estonian Academy of Sciences. Engineering (2002) 8, 4, p. 211-222 : ill.