TY  - RPRT
TI  - Probabilistic Abstractions with Arbitrary Domains
AU  - Javier Esparza
AU  - Andreas Gaiser
PY  - 2011
UR  - https://arxiv.org/abs/1106.1364
ID  - 1106.1364
ER  -