Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
sav07_lecture_19 [2007/05/31 12:12] vkuncak |
sav07_lecture_19 [2007/05/31 12:14] (current) vkuncak |
||
|---|---|---|---|
| Line 18: | Line 18: | ||
| Slides: | Slides: | ||
| - | * {{ganzingerbachmairconstructionslides.pdf}} | + | * {{ganzingerbachmairconstructionslides.pdf|Ganzinger-Bachmair Model Construction}} |
| - | * {{priorityqueueslides.pdf}} | + | * {{priorityqueuesslides.pdf|Verifying a checker for priority queues}} |