Entscheidungsalgorithmen für Äquivalenzen in Echtzeit-Prozesskalkülen mit dichtem Zeitbereich
By: Carsten Weise
Contributors: Rheinisch-Westfälische Technische Hochschule Aachen
Published: 1995
Language: ger
Number of pages: 278
Notes: Thesis (doctoral)--Rheinisch-Westfälische Technische Hochschule Aachen, 1995.