Login / Signup

Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study.

Nicholas WeiningerDarren D. Cofer
Published in: SPIN (2000)
Keyphrases