reading
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revisionLast revisionBoth sides next revision | ||
| reading [2010/03/11 19:12] – franck | reading [2010/03/22 17:59] – franck | ||
|---|---|---|---|
| Line 133: | Line 133: | ||
| ===== March 22 ===== | ===== March 22 ===== | ||
| + | |||
| + | Introduction to model checking. | ||
| ===== March 24 ===== | ===== March 24 ===== | ||
| Line 142: | Line 144: | ||
| + | |||
| + | ===== March 29 ===== | ||
| + | |||
| + | Presentation of third assignment. | ||
| ===== March 31 ===== | ===== March 31 ===== | ||
reading.txt · Last modified: 2010/03/24 17:52 by franck