-
3121
-
3122
-
3123
Formal analysis of a space-craft controller using SPIN.
Gepubliceerd in IEEE Transactions on software engineeringArtikel -
3124
-
3125
-
3126
-
3127
-
3128
-
3129
-
3130