Towards a Sound Modular Model Checking of Collaboration-Based Software Designs.

Nguyen Truong Thang, Takuya Katayama

Browse the full APSEC paper archive.