On Reachability in Parameterized Phaser Programs.

Zeinab Ganjei, Ahmed Rezine, Ludovic Henrio, Petru Eles, Zebo Peng

Browse the full TACAS paper archive.