Skip to main content
Skip to navigation
Skip to toolbar

Browse by Author

3 Results for Hermann, Peter

Subscribe to RSS feed for this result set

Sort results by

Results per page

1. A Formalization of JML in the Coq Proof System

Kägi, Andreas, Lehner, Hermann and Müller, Peter (2009)

Reports Reports

2. Beitrag zur Analyse parametrischer Systeme mit besonderer Berücksichtigung ihrer Stabilität

Hermann, Peter (1971)

Doctoral and Habilitation Theses

3. Die Erstarrungsvorgänge im ternären System Eisen-Kohlenstoff-Phosphor unter spezieller Berücksichtigung des echt binären und sog."pseudobinären" Phosphid-Eutektikums

Tütsch, Peter Hermann (1952)

Doctoral and Habilitation Theses