Keeping a Crowd Safe: On the Complexity of Parameterized Verification (Invited Talk).

Javier Esparza

Browse the full STACS paper archive.