I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Probabilistic abstractions with arbitrary domains


Javier Esparza and Andreas Gaiser. Probabilistic abstractions with arbitrary domains. Technical report, Technische Universität München, 2011. Available via arxiv.org (arXiv:1106.1364).

Suggested BibTeX entry:

    author = {Javier Esparza and Andreas Gaiser},
    institution = {Technische Universit{\"a}t M{\"u}nchen},
    note = {Available via arxiv.org ({\tt arXiv:1106.1364})},
    title = {Probabilistic abstractions with arbitrary domains},
    year = {2011}

This work is not available online here.