Personal Notes

[1] Thomas Wahl. The k-induction principle. [ bib | pdf ]
[2] Thomas Wahl. Notions of fairness and liveness. [ bib | pdf ]

This file was generated by bibtex2html 1.97.