On an Invariance Problem for Parameterized Concurrent Systems.

Marius Bozga, Lucas Bueri, Radu Iosif

Browse the full CONCUR paper archive.