Exploiting Symmetry for Efficient Verification of Infinite-State Component-Based Systems.

Qiang Wang

Browse the full SETTA paper archive.