6.830: Lecture 13 (10/29/09)

In this lecture, we will continue discussing the ARIES recovery protocol that we began last week. No additional reading is assigned.