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