Challenges of Human Space Exploration
Marsha Freeman
Marsha Freeman. Davide Ancona, Maura Cerioli, and Elena Zucca DISI -
Universita di Geneva Via Dodecanese, 35, 16146 Geneva (Italy) fax: +39-10-
3536699 {davide , cerioli , zucca}(Bdisi . unige . it Abstract. We define an
extension of CASL ...