Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Probabilistic abstractions with arbitrary domains

Reference:

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:

@techreport{EG:sasTechRep,
    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}
}

Conference version
This work is not available online here.