Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Overview: Today<br />
• Basic <strong>Duration</strong> <strong>Calculus</strong><br />
• Background<br />
• Introduction<br />
• Decidability, Undecidability, Model-checking<br />
• Extensions<br />
• An Application: Security<br />
Tallinn, November 17- 21, Michael R. Hansen – p.3/29