TU Darmstadt / ULB / TUbiblio

Browsen nach Person

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

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
B.~Steffen, ; W.~R.~Cleaveland, ; M.~Dwyer, ; P.~Pomberger, ; T.~Margaria, (eds.) :

VSE: Formal Methods Meet Industrial Needs.
In: Special Issue on Mechanized Theorem Proving for Technology Transfer of the STTT-Springer International Journal on Software Tools for Technology Transfer, 3 (1) pp. 66-77.
[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
D.~Bert, ; C.~Choppy, ; P.~Mosses, (eds.) :

Towards an evolutionary formal software-development using CASL -- ABSTRACT.
In: LNCS , 1827 . Springer
[Konferenz- oder Workshop-Beitrag], (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.
In: autexier.ea:semantical-investigation-of-simultaneous-skolemization-for-first-order-sequent-calculus:1998a . Germany
[Report], (1998)

Diese Liste wurde am Tue Dec 12 08:01:27 2017 CET generiert.