Steffen Schlager und Martin Giese Person-Info

( Ich bin Steffen Schlager)

(1 - 10 von 11

)

Steffen Schlager - Looploop.frontiersin.org › people › overview

loop.frontiersin.org

Wolfgang Ahrendt; Thomas Baar; Bernhard Beckert; Richard Bubel; Martin Giese; Reiner Hähnle; Wolfram Menzel; 3 more; Peter H. Schmitt. Software and ...

Prof. . Steffen Schlager

www.steffen-schlager.de

Steffen Schlager PhD-Thesis, Universität Karlsruhe Sierke-Verlag. The KeY System 1.0 (Deduction Component) Bernhard Beckert, Martin Giese, Reiner Hähnle, Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, and Peter H. Schmitt Proceedings, International Conference on Automated Deduction (CADE) PDF - BibTeX - Abstract - Springer-Verlag, LNCS Dynamic Logic Bernhard Beckert, …

Automated Reasoning with Analytic Tableaux and Related Methods

books.google.de

... Beckert, Richard Bubel, Martin Giese, Reiner Hähnle and Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, and Peter H. Schmitt.

Model Driven Engineering Languages and Systems: 8th International...

books.google.de

... Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, and Peter H. Schmitt.

Automated Reasoning with Analytic Tableaux and Related Methods

books.google.no

[BGH+04] Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Andreas Roth, Philipp Rümmer, and Steffen Schlager. Taclets: a new paradigm for ...

Construction and Analysis of Safe, Secure, and Interoperable Smart...

books.google.de

We thank the following people for reading drafts of this paper and providing valuable feedback: Renaud Marlet, Steffen Schlager, and Martin Giese.

KIT - Anwendungsorientierte Formale Verifikation - Veröffentlichungen

formal.kastel.kit.edu

Bernhard Beckert and Martin Giese and Reiner Hähnle and Vladimir Klebanov and Philipp Rümmer and Steffen Schlager and Peter H. Schmitt: In: Proceedings, ...

Publications

lfm.iti.kit.edu

The KeY System 1.0 (Deduction Component) Author(s): Bernhard Beckert Martin Giese Reiner Hähnle Vladimir Klebanov Philipp Rümmer Steffen Schlager Peter H. Schmitt

KeY Project: Integrated Deductive Software Designi12www.ira.uka.de › key › publicat

i12www.ira.uka.de

Bernhard Beckert, Martin Giese, Reiner Hähnle, Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, and Peter H. Schmitt International Conference on ...

Alle Infos zum Namen "Steffen Schlager"

Verwandte Suchanfragen zu Steffen Schlager

Vladimir Klebanov
Wolfram Menzel
Martin Giese

Wolfgang Ahrendt
Andreas Roth
Florian Rabe

Bela Gipp
Gerald Hajek
Patrick Schreiber

Person "Schlager" (4)
Vorname "Steffen" (23836)
Name "Schlager" (563)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Impressum AGB Datenschutz

+1

Weltweit