@Talk{		  talk:brucker:semi-formale:2001,
  isodate	= {2001-05-07},
  title		= {Semi-formale Methoden bei der Entwicklung verteilter
		  Systeme},
  month		= mai,
  language	= {german},
  year		= {2001},
  address	= {Freiburg, Germany},
  day		= {7},
  author	= {Achim D. Brucker},
  lecturer	= {Achim D. Brucker},
  slides	= {http://www.brucker.ch/bibliography/download/2001/talk-brucker-semi-formale-2001.pdf},
  handout	= {http://www.brucker.ch/bibliography/download/2001/talk-brucker-semi-formale-2001-2x2.pdf},
  event		= {IKOM-2},
  public	= {yes},
  url		= {http://www.brucker.ch/bibliography/abstract/talk-brucker-semi-formale-2001}
		  
}