TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Jump to: German | English
Number of items: 5.

German

Autexier, Serge ; Mantel, Heiko ; Stephan, Werner
eds.: Herzog, Otthein ; Günter, Andreas (1998)
Simultaneous Quantifier Elimination.
Conference or Workshop Item, Bibliographie

Hutter, Dieter ; Mantel, Heiko ; Rock, Georg ; Stephan, Werner ; Wolpers, Andreas ; Balser, Michael ; Reif, Wolfgang ; Schellhorn, Gerhard ; Stenzel, Kurt (1998)
VSE: Controlling the Complexity in Formal Software Developments.
Conference or Workshop Item, Bibliographie

English

Autexier, Serge ; Hutter, Dieter ; Langenstein, Bruno ; Mantel, Heiko ; Rock, Georg ; Schairer, Axel ; Stephan, Werner ; Vogt, Roland ; Wolpers, Andreas (2000)
VSE: Formal Methods Meet Industrial Needs.
In: International Journal on Software Tools for Technology Transfer, 3 (1)
Article, Bibliographie

Hutter, Dieter ; Mantel, Heiko ; Rock, Georg ; Stephan, Werner ; Wolpers, Andreas ; Balser, Michael ; Reif, Wolfgang ; Schellhorn, Gerhard ; Stenzel, Kurt (1998)
VSE: Controlling the Complexity in Formal Software Developments.
Conference or Workshop Item, Bibliographie

Hähnle, Reiner ; Heisel, Maritta ; Reif, Wolfgang ; Stephan, Werner (1986)
An Interactive Verification System Based on Dynamic Logic.
doi: 10.1007/3-540-16780-3_99
Conference or Workshop Item, Bibliographie

This list was generated on Tue Feb 27 00:29:24 2024 CET.