Static Analysis of Dynamic Communication Systems by Partner Abstraction.

Jrg Bauer, Reinhard Wilhelm

Browse the full SAS paper archive.