Slide 1Keeping a Crowd Safe On the Complexity of Parameterized Verification Javier Esparza Technical University of Munich Slide 2 Wilfried Brauer (1937-2014) Book of condolence:…
Keeping a Crowd Safe On the Complexity of Parameterized Verification Keeping a Crowd Safe On the Complexity of Parameterized Verification Javier Esparza Technical University…