Model-Checking Parameterized Concurrent Programs Using Linear Interfaces.

Salvatore La Torre, P. Madhusudan, Gennaro Parlato

Browse the full CAV paper archive.