Mathematische Modellierung und Verifikation von SDL-Systemen
By: Markus Rinderspacher
Contributors: Universität Karlsruhe
Published: 1996
Language: ger
Number of pages: 117
Notes: Thesis (doctoral)--Universität Karlsruhe, 1996.