Author manuscript, published in "10th International Workshop on Automated Verification of Critical Systems- AVOCS 2010 (2010)" A Simple Model of Communication APIs – Application to Dynamic Partial-order Reduction
- Publication date
- 1 January 2010
- Publisher