| Last modified: 20070521:112919/add refinement lecture (also covered) | CSE4213 AJH-2007-32 |
Lecture 21 (20070514): Traffic Lights (revisited)
Another treatment of the Traffic Light Problem | Refinement
Another treatment of the Traffic Light Problem
| presentation | slides as given in lectures, with multiple slides per points | 103 pages |
| notes | the slides reduced to note form, even more suitable for printing | 8 pages |
Covered in this lecture: slides 1-103 (presentation).
Refinement
| presentation | slides as given in lectures, with multiple slides per points | 103 pages |
| notes | the slides reduced to note form, even more suitable for printing | 8 pages |
Covered in this lecture: slides 1-103 (presentation).
previous lecture next lecture
Document History
| 20070521:112919 | 6.0.1 | ajh | add refinement lecture (also covered) |
| 20070514:084230 | 6.0.0 | ajh | version for 2007 |
