Automated model verification of the international space station for path planning

Authors
Publication date 1998
Host editors
  • M. Wada
  • Y. Kakazu
  • T. Sato
Book title Proceedings IAS-5
ISBN
  • 9051993986
  • 9789051993981
Pages (from-to) 462-469
Number of pages 7
Publisher IOS Press
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Chapter
Note Gebeurtenis: Saporo 2-4 june 1998
Permalink to this page
Back