Current Trends in Theory and Practice of Computer Science  
Track filter:   
Home
Contributed Paper
Foundations of Computer Science

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

Astrid Rakow

Slicing Petri nets with an application to workflow verification


pdf iconPresentation (218 kB)
SOFSEM 2008, January 19-25, High Tatras, Slovakia