Automatic synthesis of deadlock free connectors for COM/DCOM applications

Paola Inverardi, Massimo Tivoli. Automatic synthesis of deadlock free connectors for COM/DCOM applications. In ESEC / SIGSOFT FSE. pages 121-131, 2001. [doi]

No reviews for this publication, yet.