Lectures at Summer Schools

• Advanced Course on Petri Nets, Rostock, September, 2010: Protocol Verification and State Spaces
• ESSLI, Copenhagen, August, 2010: Advanced Course on Specification and Verification of Muli-agent Systems