Document Versions

The model checker SPIN –Gerard J. Holzmann — 1997 — IEEE Transactions on Software Engineering
The Model Checker SPIN –Gerard J. Holzmann — 1997 — IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
The Model Checker SPIN –Gerard J. Holzmann — 1997 — IEEE Trans. Software Eng
The Model Checker SPIN –Gerard J. Holzmann — 1997 — IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
The Model Checker SPIN –Gerard J. Holzmann — 1997 — IEEE Transactions on Software Engineering