TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 13.

Autexier, Serge ; Mantel, Heiko ; Merz, Stephan ; Nipkow, Tobias (eds.) :
Special Issue on Formal Modeling and Verification of Critical Systems.
Autexier, Serge ; Mantel, Heiko ; Merz, Stephan ; Nipkow, Tobias (eds.), Journal of Automated Reasoning, Vol. 41, Nos. 3-4, Springer
[Konferenz- oder Workshop-Beitrag] , (2008)

Autexier, Serge ; Mantel, Heiko ; Merz, Stephan ; Nipkow, Tobias (eds.) :
Special Issue on Formal Modeling and Verification of Critical Systems.
Autexier, Serge ; Mantel, Heiko ; Merz, Stephan ; Nipkow, Tobias (eds.), Journal of Automated Reasoning, Vol. 41, Nos. 3-4, Springer
[Konferenz- oder Workshop-Beitrag] , (2008)

Autexier, Serge ; Mantel, Heiko (eds.) :
Verify'06: Verification Workshop.
Autexier, Serge ; Mantel, Heiko (eds.), FLoC , Seattle, USA
[Konferenz- oder Workshop-Beitrag] , (2006)

Autexier, Serge ; Cervesato, Iliano ; Mantel, Heiko (eds.), :
Selected papers from FCS/VERIFY 2002.
Springer Verlag
[Buch] , (2005)

Autexier, Serge ; Mantel, Heiko (eds.), :
Proceedings of the Verification Workshop (VERIFY'02).
DIKU, Copenhagen, Denmark
[Buch] , (2002)

Autexier, Serge ; Mantel, Heiko (eds.), :
Proceedings of the Verification Workshop (VERIFY'01).
Universit`a degli studi di Siena, Siena, Italy
[Buch] , (2001)

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

Autexier, Serge ; Hutter, Dieter ; Mantel, Heiko ; Schairer, Axel :
System Description: INKA 5.0 -- A Logic Voyager.
In: LNAI 1632 . Springer , Trento, Italy
[Konferenz- oder Workshop-Beitrag] , (1999)

Autexier, Serge ; Hutter, Dieter ; Mantel, Heiko ; Schairer, Axel
Bert, D. ; Choppy, C. ; Mosses, P. (eds.) :

Towards an evolutionary formal software-development using CASL -- ABSTRACT.
In: LNCS , 1827 . Springer
[Konferenz- oder Workshop-Beitrag] , (1999)

Autexier, Serge ; Hutter, Dieter ; Mantel, Heiko ; Schairer, Axel
Bert, Didier ; Choppy, C. ; Mosses, P. (eds.) :

Towards an evolutionary formal software-development using CASL -- ABSTRACT.
In: Recent trends in algebraic development techniques : 14th International Workshop on Algebraic Development Techniques, WADT'99. Lecture Notes in Computer Science, 1827. Springer, Berlin ; Heidelberg Chateaux de Bonas, France , pp. 73-88.
[Buchkapitel] , (1999)

Autexier, Serge ; Mantel, Heiko ; Stephan, Werner
Herzog, Otthein ; Günter, Andreas (eds.) :

Simultaneous Quantifier Elimination.
In: LNAI 1504 . Springer , Bremen, Germany
[Konferenz- oder Workshop-Beitrag] , (1998)

Autexier, Serge ; Mantel, Heiko :
Semantical Investigation of Simultaneous Skolemization for First-Order Sequent Calculus.

[Report] , (1998)

Autexier, Serge ; Mantel, Heiko :
Semantical Investigation of Simultaneous Skolemization for First-Order Sequent Calculus.
In: autexier.ea:semantical-investigation-of-simultaneous-skolemization-for-first-order-sequent-calculus:1998a . Germany
[Report] , (1998)

Diese Liste wurde am Tue Nov 13 03:49:16 2018 CET generiert.