Quantitative Analyse zeit- und ressourcenerweiterter SDL-Systeme mit Hilfe von Zustandsraumexploration und Model-Checking
Berlin: Logos-Verl., 1997
1997dissertation
Economics
Title in German:
Quantitative Analyse zeit- und ressourcenerweiterter SDL-Systeme mit Hilfe von Zustandsraumexploration und Model-Checking
Author:
Diefenbruch, Marc
Place of publication:
Berlin
Publisher:
Logos-Verl.
Year of publication:
1997
Extent:
X, 346 S.
ISBN
Note:
Essen, Univ., Diss., 1998
Language of text:
German