Fix / remove some final todos.
[matthijs/master-project/report.git] / Report.bib
2009-12-09 Matthijs KooijmanActually add bibtex entries for added references.
2009-12-08 Matthijs KooijmanSay University of Twente instead Twente University.
2009-12-07 Matthijs KooijmanDon't suggest messing with the clock input.
2009-12-07 Matthijs KooijmanFix things following from comments from Marco and Sabih.
2009-12-06 Matthijs KooijmanAdd reference about Core's operational semantics.
2009-12-06 Matthijs KooijmanFix a lot of things following from Jan's comments.
2009-12-05 Matthijs KooijmanAdd another reference.
2009-12-05 Matthijs KooijmanAdd some references to the context chapter.
2009-12-04 Matthijs KooijmanSetup bibtex.