Generierung paralleler Systeme aus Estelle-Spezifikationen

Original languageGerman
QualificationMaster of Science
Publication statusPublished - 1992

Cite this