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.95.