%0 Conference Proceedings %T Model checking driven simulation of sat procedures %A Verzino Giovanni %A Cavaliere, Federico %A Mari, Federico %A Melatti, Igor %A Minei, Giovanni %A Salvo, Ivano %A Yushtein, Yuri %A Tronci, Enrico %S Proceedings of 12th International Conference on Space Operations (SpaceOps 2012) %D 2012 %F VerzinoGiovanni_etal2012 %O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=117), last updated on Thu, 27 Apr 2017 11:36:00 +0200 %R 10.2514/6.2012-1275611 %U http://mclab.di.uniroma1.it/publications/papers/verzinogiovanni/2012/117_VerzinoGiovanni_etal2012.pdf %U https://doi.org/10.2514/6.2012-1275611