Ausdrucksfähigkeit und effiziente Implementierbarkeit formaler Beschreibungstechniken am Beispiel von Estelle

Joachim Thees. Ausdrucksfähigkeit und effiziente Implementierbarkeit formaler Beschreibungstechniken am Beispiel von Estelle. PhD thesis, University of Kaiserslautern, 2005. [doi]

Abstract

Abstract is missing.