\BOOKMARK [1][]{Outline1}{Solution to some of the exercises in previous lecture}{}
\BOOKMARK [2][]{Outline1.1.3}{Semaphores in Java}{Outline1}
\BOOKMARK [2][]{Outline1.2.17}{Readers and Writers}{Outline1}
\BOOKMARK [1][]{Outline2}{Verification of Concurrent Software \(by Jean-Jacques L\351vy\)}{}
\BOOKMARK [2][]{Outline2.1.26}{A case study: Ariane}{Outline2}