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}} |