MESA: Support for Scenario-Based Design of Concurrent Systems.

Hanne Ben-Abdallah, Stefan Leue

Browse the full TACAS paper archive.