05/07/2007: "DSN"

The work I have been doing on policy verification along with my colleauges John F. and Jeremy B. has been accepted for publication at the next DSN meeting in Edinburgh. We have had a technical report out for a while now. This latest publication success is the queue for a proper journal publication on the subject. More to follow....Time to get back doing some attending of the OGF talks.