TY  - RPRT
TI  - Proving Liveness of Parameterized Programs
AU  - Azadeh Farzan
AU  - Zachary Kincaid
AU  - Andreas Podelski
PY  - 2016
UR  - https://arxiv.org/abs/1605.02350
ID  - 1605.02350
ER  -