Dr. Josef Tapken

 

1 Theses (BibTeX Source)

@PHDTHESIS{jt01,
  AUTHOR = {J.~Tapken},
  TITLE = {{Model-Checking of Duration Calculus Specifications}},
  SCHOOL = {University of Oldenburg},
  YEAR = {2001},
  MONTH = JUN,
  URL = {http://csd.informatik.uni-oldenburg.de/pub/Papers/jt01.ps.gz},
}


@MASTERSTHESIS{jt95,
  AUTHOR = {Josef Tapken},
  TITLE = {{Entwurf und Implementierung eines Systems zur
		  Verifikation von SDL-Spezifikationen}},
  SCHOOL = UNIOL-FB10,
  YEAR = 1995,
  NOTE = {\url{http://csd.informatik.uni-oldenburg.de/pub/Papers/tapken95-DA.ps.gz}{This master thesis is available on-line}}
}