@PhDThesis{	  mus99habil,
  author	= "Anca Muscholl",
  title		= "Decision and complexity issues on concurrent systems",
  type		= "Habilitationsschrift (Postdoctoral thesis)",
  year		= "1999",
  school	= "Universit{\"a}t Stuttgart"
}