@Talk{		  talk:brucker.ea:integrating:2009-b,
  isodate	= {2009-12-09},
  title		= {Integrating Automated and Interactive Protocol
		  Verification},
  month		= dec,
  language	= {USenglish},
  year		= {2009},
  address	= {Saarbr{\"u}cken, Germany},
  day		= {09},
  author	= {Achim D. Brucker},
  lecturer	= {Achim D. Brucker},
  event		= {Computer Science Colloquium at the German Research Center
		  for Artificial Intelligence (DFKI)},
  public	= {yes},
  url		= {http://www.brucker.ch/bibliography/abstract/talk-brucker.ea-integrating-2009-b}
		  
}