@Talk{		  talk:brucker.ea:analyzing:2008,
  isodate	= {2008-09-28},
  title		= {Analyzing UML/OCL Models with HOL-OCL},
  author	= {Achim D. Brucker and Burkhart Wolff},
  lecturer	= {Achim D. Brucker},
  day		= {28},
  event		= {Tutorial at MoDELS 2008},
  month		= sep,
  year		= {2008},
  address	= {Toulouse, France},
  slides	= {http://www.brucker.ch/bibliography/download/2008/talk-brucker.ea-analyzing-2008.pdf},
  handout	= {http://www.brucker.ch/bibliography/download/2008/talk-brucker.ea-analyzing-2008-2x2.pdf},
  public	= {yes},
  url		= {http://www.brucker.ch/bibliography/abstract/talk-brucker.ea-analyzing-2008}
		  
}