notes.bib

@comment{{This file has been generated by bib2bib 1.97}}
@comment{{Command line: /usr/bin/bib2bib -c category="notes" /home/wahl/Technical/Latex/references-thomas.bib}}
@misc{W09,
  author = {Thomas Wahl},
  title = {The k-Induction Principle},
  url = {http://www.ccs.neu.edu/home/wahl/Publications/k-induction.pdf},
  category = {notes}
}
@misc{W09b,
  author = {Thomas Wahl},
  title = {Notions of Fairness and Liveness},
  url = {http://www.ccs.neu.edu/home/wahl/Publications/fairness.pdf},
  category = {notes}
}

This file was generated by bibtex2html 1.97.