Dr. habil. Henning Dierks

 

1 Theses (BibTeX Source)

@UNPUBLISHED{Die05Hab,
  AUTHOR = {H.~Dierks},
  TITLE = {{Time, Abstraction and Heuristics -- Automatic Verification
      and Planning of Timed Systems using Abstraction and Heuristics}},
  NOTE = {Habilitation thesis},
  MONTH = JUL,
  YEAR = {2005}
}


@PHDTHESIS{die99-phd,
  AUTHOR = {H.~Dierks},
  TITLE = {{Specification and Verification of Polling Real-Time
		  Systems}},
  SCHOOL = {University of Oldenburg},
  YEAR = {1999},
  MONTH = JUL,
  URL = {http://csd.Informatik.Uni-Oldenburg.DE/~dierks/Berichte/DISS.ps.gz},
}


@MASTERSTHESIS{hd95-mt,
  AUTHOR = {Henning Dierks},
  TITLE = {Die {Fert\-igungs\-zelle} als verifi\-ziertes
		  {Real\-zeit\-system}},
  SCHOOL = UNIOL-FB10,
  MONTH = MAY,
  YEAR = 1995,
  URL = {http://csd.informatik.uni-oldenburg.de/pub/ProCoS/hd95-mt.ps.gz}
}