Formale Spezifikation nebenläufiger Konstrukte von ADA mit Graphgrammatiken

Manfred Jackel. Formale Spezifikation nebenläufiger Konstrukte von ADA mit Graphgrammatiken. PhD thesis, University of Osnabrück, Germany, 1986. [doi]

Abstract

Abstract is missing.