@Unpublished{	  hallerstede.ea:qualitative:2009,
  author	= {Stefan Hallerstede and Thai Son Hoang},
  language	= {USenglish},
  month		= 9,
  note		= {Dagstuhl Seminar 09381},
  title		= {Qualitative Reasoning for the Dining Philosophers},
  url		= {http://www.dagstuhl.de/Materials/index.en.phtml?09381},
  year		= 2009,
  user		= {htson}
}