-
1111
-
1112
Formal analysis of a space-craft controller using SPIN.
Gepubliceerd in IEEE Transactions on software engineeringArtikel -
1113
-
1114
-
1115
-
1116
-
1117
-
1118
-
1119
-
1120