@InProceedings{VerzinoGiovanni_etal2012, author="Verzino Giovanni and Cavaliere, Federico and Mari, Federico and Melatti, Igor and Minei, Giovanni and Salvo, Ivano and Yushtein, Yuri and Tronci, Enrico", title="Model checking driven simulation of sat procedures", booktitle="Proceedings of 12th International Conference on Space Operations (SpaceOps 2012)", year="2012", optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=117), last updated on Thu, 27 Apr 2017 11:36:00 +0200", doi="10.2514/6.2012-1275611", opturl="https://doi.org/10.2514/6.2012-1275611", file=":http://mclab.di.uniroma1.it/publications/papers/verzinogiovanni/2012/117_VerzinoGiovanni_etal2012.pdf:PDF" }