Solving line balancing problems with model checking
vastutusandmed
Jüri Vain, Ingmar Randvee, Tiit Riismaa, and Juhan Ernits
ajakirja aastakäik number kuu
8
ilmumisaasta
leheküljed
4, p. 211-222 : ill
ISSN
1406-0175
märkused
Bibliogr.: 15 ref
retsensioon
Kokkuvõte: Mudelkontrolli kasutamine koosteliini tasakaalustusülesande lahendamisel
keel
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.