Eine Methodik für die formale Anforderungsspezifikation verteilter Systeme

Rainer Weber. Eine Methodik für die formale Anforderungsspezifikation verteilter Systeme. PhD thesis, Technical University Munich, Germany, 1991. [doi]

Abstract

Abstract is missing.