H
Hans Langmaack
5 works on record
Works

Formal techniques in real-time and fault-tolerant systems

1. Fachtagung über Programmiersprachen
VDM '90. VDM and Z - Formal Methods in Software Development
VDM '90. VDM and Z - Formal Methods in Software Development
Compositionality : the Significant Difference
Compositionality : the Significant Difference
Zur Konstruktion von Holomorphiehüllen unverzweigeter Gebiete über dem Cn
Zur Konstruktion von Holomorphiehüllen unverzweigeter Gebiete über dem Cn