Diefenbruch, M.:

Quantitative Analyse zeit- und ressourcenerweiterter SDL-Systeme mit Hilfe von Zustandsraumexploration und Model-Checking : Dissertation

Essen: Universität Essen (1998)
Buch / Monographie / Fach: Wirtschaftswissenschaften

Dieser Eintrag ist freigegeben.