Assume-Guarantee Verification of Concurrent Systems.

Liliana D'Errico, Michele Loreti

Browse the full Coordination paper archive.