Diefenbruch, M.:

Funktionale und quantititative Verifikation von zeit- und ressourcenerweiterten SDL-Systemen mittels Model-Checking

In: Tagungsband GI/ITG Fachtagung "Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen"
Freiberg: VDE-Verlag (1997)
Buchaufsatz / Kapitel / Fach: Wirtschaftswissenschaften