Vain, J., Randvee, I., Riismaa, T., Ernits, J.

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

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

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. https://artiklid.elnet.ee/record=b1011298*est