Zur Charakterisierung isometrischer und konformer Abbildungen zwischen pseudo-Riemannschen Mannigfaltigkeiten von Peleska, Jan 1958-

Zur Charakterisierung isometrischer und konformer Abbildungen zwischen zwischen pseudo-Riemannschen Mannigfaltigkeiten von Peleska, Jan 1958-

Test automation of safety critical reactive systems von Peleska, Jan 1958-, Siegel, Michael

Formal methods and the development of dependable systems von Peleska, Jan 1958-

Inhaltsverzeichnis

Zur Charakterisierung isometrischer und konformer Abbildungen zwischen pseudo-Riemannschen Mannigfaltigkeiten von Peleska, Jan 1958-

Formal methods 22nd International Symposium, FM 2018 : held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018 : proceedings

Weitere Verfasser:
Volltext öffnen Volltext öffnen