Prof. Dr. Stephan Kleuker

 

1 Theses (BibTeX Source)

@PHDTHESIS{kleuker-diss,
  AUTHOR = {S. Kleuker},
  TITLE = {Inkrementelle Entwicklung von verifizierten
		  Spezifikationen f{\"u}r verteilte Systeme (in German)},
  SCHOOL = {University of Oldenburg},
  MONTH = {Dez.},
  YEAR = 1997,
  URL = {http://csd.informatik.uni-oldenburg.de/pub/Papers/sk-diss.ps.gz},
}