-
301
-
302
-
303
-
304
Formal analysis of a space-craft controller using SPIN.
Pubblicato in IEEE Transactions on software engineeringArticolo -
305
-
306
-
307
-
308
-
309
-
310