Modellierung, Spezifikation und korrekte Realisierung von asynchronen Systemen

Lothar F. Mackert. Modellierung, Spezifikation und korrekte Realisierung von asynchronen Systemen. PhD thesis, University of Erlangen-Nuremberg, Germany, 1983. [doi]

Abstract

Abstract is missing.