Given Talks

• TACAS'11
  31st AMrch 2011, Saarbrucken, Germany.
• DES/CISS'10
  23rd March 2011, DES / CISS AAU, Aalborg, Denmark.
• ISoLA'10
  19th October 2010, Amirandes, Heraclion, Crete, Greece.
• DES/CISS'10
  12th October 2010, DES / CISS AAU, Aalborg, Denmark.
• DES/CISS'09
  27th October 2009, DES / CISS AAU, Aalborg, Denmark.
• NWPT'09
  14th October 2009, DTU Lyngby, Copenhagen, Denmark.