notes.bib

@misc{W09,
  author = {Thomas Wahl},
  title = {The k-Induction Principle},
  pdf = {http://www.ccs.neu.edu/home/wahl/Publications/k-induction.pdf},
  category = {notes}
}
@misc{W09b,
  author = {Thomas Wahl},
  title = {Notions of Fairness and Liveness},
  pdf = {http://www.ccs.neu.edu/home/wahl/Publications/fairness.pdf},
  category = {notes}
}

This file was generated by bibtex2html 1.97.