I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Compositional Termination Proofs for Multi-threaded Programs

Reference:

Corneliu Popeea and Andrey Rybalchenko. Compositional termination proofs for multi-threaded programs. In TACAS, March 2012.

Suggested BibTeX entry:

@inproceedings{PopeeaTACAS12,
    author = {Corneliu Popeea and Andrey Rybalchenko},
    booktitle = {TACAS},
    month = {March},
    title = {Compositional Termination Proofs for Multi-threaded Programs},
    year = {2012}
}

This work is not available online here.