Automated Verification of Infinite State Concurrent Systems.

Piotr Dembinski, Wojciech Penczek, Agata Plrola

Browse the full PPAM paper archive.