Differences

This shows you the differences between two versions of the page.

--- course_outline [2015/04/07 23:50] – jonathan
+++ course_outline [2015/04/07 23:51] (current) – jonathan
@@ Line 8: / Line 8: @@
   * Bridge controller (reactive systems) [[http://deploy-eprints.ecs.soton.ac.uk/112/1/sld.ch2.car.pdf|Chapter 2: Controlling cars on a bridge]]).
-    *Required readings: Read Chapters 1 and 2 from the suggested text [[http://www.event-b.org/A_ch2.pdf|chapter 2]]
+  *Required readings: Read Chapters 1 and 2 from the suggested text [[http://www.event-b.org/A_ch2.pdf|chapter 2]]
 Topics covered by the bridge controller include