SPIN Tutorial: How to Become a SPIN Doctor
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
The Agreement Problem Protocol Verification Environment
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
SPINning Parallel Systems Software
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Feature interaction detection by pairwise analysis of LTL properties: a case study
Formal Methods in System Design
Optimal scheduling using branch and bound with SPIN 4.0
SPIN'03 Proceedings of the 10th international conference on Model checking software
Embedded network protocols for mobile devices
FMICS'10 Proceedings of the 15th international conference on Formal methods for industrial critical systems
SPIN'12 Proceedings of the 19th international conference on Model Checking Software
| Hi-index | 0.00 |