=: SOFSEM 08 := | Abstract/Details of Paper

Current Trends in Theory and Practice of Computer Science

›	Home
›	Photo Gallery
›	Print-Outs
›	Location (Venue)
›	Getting There
›	Invited Speakers
›	Accepted Papers
›	Timetable and Presentations
›	Participants
›	Profile and Topics
›	Program Committee
›	Steering Committee
›	Organization
›	Previous SOFSEMs
›	Sponsors
›	Contact

Contributed Paper
Foundations of Computer Science

Monday, January 21, 10:30 - 10:55

Antti Siirtola and Michal Valenta

Verifying parameterized taDOM+ lock managers

Presentation (65 kB)

SOFSEM 2008, January 19-25, High Tatras, Slovakia