I’m not sure that this qualifies as a blog entry, however as a computer science student I often need a good bibtex source for academic papers. So here is a couple which I recommend to anybody in search of the same:
As part of our masters project, Uffe and I have been fortunate enough to be accepted as participants at a seminar on “Runtime Verification” at the Schloss Dagstuhl. I’m very much looking forward to the event, although I expect that we will be, if not the youngest, the novices of the group participating. I should think this will be a great possibility to learn a lot of use full information and get a great deal of comments on the subject for our master thesis.
