Media type: E-Article Title: SPIN Model Checking and Software Verification: Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study Contributor: Weininger, Nicholas; Cofer, Darren Published: Springer Berlin Heidelberg, 2000 Published in: SPIN Model Checking and Software Verification (2000), Seite 93-112 Language: Not determined DOI: 10.1007/10722468_6 ISBN: 9783540410300; 9783540452973 ISSN: 0302-9743; 1611-3349 Origination: Footnote: