![](/img/cover-not-exists.png)
Automated model verification of the International Space Station for path planning
W.F.W. Haak, F.C.A. Groen, E. HolwegVolume:
28
Year:
1999
Language:
english
Pages:
10
DOI:
10.1016/s0921-8890(99)00021-4
File:
PDF, 655 KB
english, 1999