toggle visibility Search & Display Options

Select All    Deselect All
 | 
Citations
 | 
   print
Verzino Giovanni, Federico Cavaliere, Federico Mari, Igor Melatti, Giovanni Minei, Ivano Salvo, Yuri Yushtein, and Enrico Tronci. "Model checking driven simulation of sat procedures." In Proceedings of 12th International Conference on Space Operations (SpaceOps 2012)., 2012. DOI: 10.2514/6.2012-1275611.
toggle visibility
Select All    Deselect All
 | 
Citations
 | 
   print