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
Number of items: 5.

Article

Autexier, Serge and Hutter, Dieter and Langenstein, Bruno and Mantel, Heiko and Rock, Georg and Schairer, Axel and Stephan, Werner and Vogt, Roland and Wolpers, Andreas (2000):
VSE: Formal Methods Meet Industrial Needs.
In: International Journal on Software Tools for Technology Transfer, (1), 3. Springer, pp. 66-77, ISSN 1433-2779,
[Online-Edition: https://link.springer.com/article/10.1007/s100099900022],
[Article]

Conference or Workshop Item

Hutter, Dieter and Mantel, Heiko and Rock, Georg and Stephan, Werner and Wolpers, Andreas and Balser, Michael and Reif, Wolfgang and Schellhorn, Gerhard and Stenzel, Kurt (1998):
VSE: Controlling the Complexity in Formal Software Developments.
In: LNCS 1641, In: International Workshop on Applied Formal Methods -- FM-Trends, Boppard, Germany, Springer, pp. pp.~351-358, [Conference or Workshop Item]

Autexier, Serge and Mantel, Heiko and Stephan, Werner Herzog, Otthein and Günter, Andreas (eds.) (1998):
Simultaneous Quantifier Elimination.
In: LNAI 1504, In: KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, Springer, pp. 141-152, [Conference or Workshop Item]

Hutter, Dieter and Mantel, Heiko and Rock, Georg and Stephan, Werner and Wolpers, Andreas and Balser, Michael and Reif, Wolfgang and Schellhorn, Gerhard and Stenzel, Kurt (1998):
VSE: Controlling the Complexity in Formal Software Developments.
In: LNCS 1641, In: International Workshop on Applied Formal Methods -- FM-Trends, Springer, pp. pp.~351--358, [Conference or Workshop Item]

Hähnle, Reiner and Heisel, Maritta and Reif, Wolfgang and Stephan, Werner (1986):
An Interactive Verification System Based on Dynamic Logic.
230In: LNCS, In: Proc. 8th Conference on Automated Deduction {CADE}, Oxford, Springer-Verlag, pp. 306-315, DOI: 10.1007/3-540-16780-3_99,
[Online-Edition: https://doi.org/10.1007/3-540-16780-3_99],
[Conference or Workshop Item]

This list was generated on Tue Oct 20 02:23:07 2020 CEST.