| Home | << 1 >> |
|
| Author | Title | Year | Publication | Publisher | ISSN  |
ISBN | DOI | Volume | Pages |
|---|---|---|---|---|---|---|---|---|---|
| Verzino Giovanni ; Cavaliere, Federico; Mari, Federico; Melatti, Igor; Minei, Giovanni; Salvo, Ivano; Yushtein, Yuri; Tronci, Enrico | Model checking driven simulation of sat procedures | 2012 | Proceedings of 12th International Conference on Space Operations (SpaceOps 2012) | 10.2514/6.2012-1275611 |