The application of PROMELA and SPIN in the BOS project

• 27 May 1997
• book chapter
• Published by American Mathematical Society (AMS)
• Vol. 32, 51-63
• https://doi.org/10.1090/dimacs/032/05

Abstract