Diefenbruch, Marc:
Quantitative Analyse zeit- und ressourcenerweiterter SDL-Systeme mit Hilfe von Zustandsraumexploration und Model-Checking
Berlin: Logos-Verl., 1997
1997Dissertation
Wirtschaftswissenschaften
Titel in Deutsch:
Quantitative Analyse zeit- und ressourcenerweiterter SDL-Systeme mit Hilfe von Zustandsraumexploration und Model-Checking
Autor*in:
Diefenbruch, Marc
Erscheinungsort:
Berlin
Verlag:
Logos-Verl.
Erscheinungsjahr:
1997
Umfang:
X, 346 S.
ISBN
Notiz:
Essen, Univ., Diss., 1998
Sprache des Textes:
Deutsch