Model-Checking Parametric Lock-Sharing Systems Against Regular Constraints.

Corto Mascle, Anca Muscholl, Igor Walukiewicz

Browse the full CONCUR paper archive.