Dipl.-Inform. Johannes Faber

 

1 Theses (BibTeX Source)

@MASTERSTHESIS{fab04,
  AUTHOR = {J. Faber},
  TITLE = {{Fehlerbaumverifikation durch Modelchecking mit Uppaal}},
  SCHOOL = {Universität Oldenburg},
  YEAR = {2004},
  URL = {http://csd.informatik.uni-oldenburg.de/~jfaber/dl/FehlerbaumverifikationMitUppaal.pdf},
}