=: 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, 17:30 - 17:55

Astrid Rakow

Slicing Petri nets with an application to workflow verification

Presentation (218 kB)

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