Diefenbruch, M.:
Quantitative Analyse zeit- und ressourcenerweiterter SDL-Systeme mit Hilfe von Zustandsraumexploration und Model-Checking : Dissertation
Essen: Universität Essen, 1998
Buch / Fach: Wirtschaftswissenschaften
Titel:
Quantitative Analyse zeit- und ressourcenerweiterter SDL-Systeme mit Hilfe von Zustandsraumexploration und Model-Checking : Dissertation
Autor(in):
Diefenbruch, M.
Erscheinungsort:
Essen
Verlag:
Universität Essen
Erscheinungsjahr:
1998