Formal Validation of a High Performance Error Control Protocol Using SPIN

• 1 January 1996
• journal article
• Published by Wiley in Software: Practice and Experience
• Vol. 26  (1) , 105-124
• https://doi.org/10.1002/(sici)1097-024x(199601)26:1<105::aid-spe3>3.0.co;2-#

Abstract