@Talk{		  talk:brucker:formal:2008,
  isodate	= {2008-10-31},
  title		= {Formal Analysis of UML/OCL Models},
  author	= {Achim D. Brucker},
  lecturer	= {Achim D. Brucker},
  day		= {29},
  event		= {Computer Science Colloquium at the University Bremen},
  month		= oct,
  year		= {2008},
  address	= {Bremen, Germany},
  slides	= {http://www.brucker.ch/bibliography/download/2008/talk-brucker-formal-2008.pdf},
  handout	= {http://www.brucker.ch/bibliography/download/2008/talk-brucker-formal-2008-2x2.pdf},
  public	= {yes},
  url		= {http://www.brucker.ch/bibliography/abstract/talk-brucker-formal-2008}
		  
}