TY - CONF AU - Verzino Giovanni AU - Cavaliere, Federico AU - Mari, Federico AU - Melatti, Igor AU - Minei, Giovanni AU - Salvo, Ivano AU - Yushtein, Yuri AU - Tronci, Enrico PY - 2012 DA - 2012// TI - Model checking driven simulation of sat procedures T2 - International Conference on Space Operations BT - Proceedings of 12th International Conference on Space Operations (SpaceOps 2012) L1 - http://mclab.di.uniroma1.it/publications/papers/verzinogiovanni/2012/117_VerzinoGiovanni_etal2012.pdf UR - https://doi.org/10.2514/6.2012-1275611 DO - 10.2514/6.2012-1275611 N1 - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=117), last updated on Thu, 27 Apr 2017 11:36:00 +0200 ID - VerzinoGiovanni_etal2012 ER -