Solving line balancing problems with model checking
author
Vain, Jüri
Randvee, Ingmar
Riismaa, Tiit
Ernits, Juhan-Peep
statement of authorship
Jüri Vain, Ingmar Randvee, Tiit Riismaa, and Juhan Ernits
source
Proceedings of the Estonian Academy of Sciences. Engineering
journal volume number month
8
year of publication
2002
pages
4, p. 211-222 : ill
url
https://artiklid.elnet.ee/record=b1011298*est
subject term
montaaž
automaatjuhtimine
modelleerimine (teadus)
ISSN
1406-0175
notes
Bibliogr.: 15 ref
review
Kokkuvõte: Mudelkontrolli kasutamine koosteliini tasakaalustusülesande lahendamisel
language
inglise