@Talk{		  talk:brucker.ea:integrating:2009,
  isodate	= {2009-11-06},
  title		= {Integrating Automated and Interactive Protocol
		  Verification},
  month		= nov,
  language	= {USenglish},
  year		= {2009},
  address	= {Eindhoven, The Netherlands},
  day		= {06},
  author	= {Achim D. Brucker and Sebastian A. M{\"o}dersheim},
  lecturer	= {Achim D. Brucker and Sebastian A. M{\"o}dersheim},
  event		= {Workshop on Formal Aspects in Security and Trust (FAST
		  2009)},
  public	= {yes},
  url		= {http://www.brucker.ch/bibliography/abstract/talk-brucker.ea-integrating-2009}
		  
}