TY  - RPRT
TI  - Monotonic Abstraction Techniques: from Parametric to Software Model Checking
AU  - Francesco Alberti
AU  - Silvio Ghilardi
AU  - Natasha Sharygina
PY  - 2014
DO  - 10.4204/eptcs.168.1
UR  - https://arxiv.org/abs/1411.3790
ID  - 1411.3790
ER  -