Skip to contents

Schellhorn, Gerhard [Editor] ; Universität Ulm Fakultät für Informatik, Workshop on Tools for System Design and Verification 4 2000 Ulm

FM-TOOLS 2000 : the 4th Workshop on Tools for System Design and Verification; ... held at the "Reisenburg", a beautiful castle near Ulm in South Germany; [10 - 13 July, 2000]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Ulm: Univ., Fak. für Informatik, 2000

Published in: Ulmer Informatik-Berichte ; 2000,07
Schellhorn, Gerhard [Author]

Proving properties of directed graphs : a problem set for automated theorem provers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Ulm: Univ., Fak. für Informatik, 1998

Published in: Ulmer Informatik-Berichte ; 98,12
Schellhorn, Gerhard [Author]

Specification and verification of distributed technical systems with central control

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Karlsruhe: Univ., Fak. für Informatik, 1994

Published in: Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 94,3
Deseyve, Yvette [Other]; Schellhorn, Sabine [Other] ; Gerhard-Marcks-Haus, Ausstellung "Siegel für den Pavillon" 2013 Bremen

Sabine Schellhorn, Siegel : Konzepte für Zeit - Ort - Anlass; Überblick aus den Siegel-Werken von 1995 bis 2013; anlässlich der Ausstellung "Siegel für den Pavillon" im Gerhard-Marcks-Haus in Bremen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Lindlar: Die Neue Sachlichkeit, Kunst-Buch-Verl., 2013
Schellhorn, Gerhard [Author]; Reif, Wolfgang [Author]

Proving properties of finite enumerations : a problem set for automated theorem provers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Ulm: Univ., Fak. für Informatik, 1997

Published in: Ulmer Informatik-Berichte ; 97,12
Reif, Wolfgang [Author]; Schellhorn, Gerhard [Author]

Theorem proving in large theories

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Ulm: Univ., Fak. für Informatik, 1997

Published in: Ulmer Informatik-Berichte ; 97,14
Schellhorn, Gerhard [Author]; Reif, Wolfgang [Author]

Theorems from compiler verification : a problem set for automated theorem provers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Ulm: Univ., Fak. für Informatik, 1998

Published in: Ulmer Informatik-Berichte ; 98,13
Schellhorn, Gerhard [Author]; Ahrendt, Wolfgang [Author]

Verification of a prolog compiler - first steps with KIV

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Ulm: Univ., Fak. für Informatik, 1996

Published in: Ulmer Informatik-Berichte ; 96,05
Reif, Wolfgang [Author]; Schellhorn, Gerhard [Author]; Thums, Andreas [Author]

Fehlersuche in Formalen Spezifikationen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Ulm: Univ., Fak. für Informatik, 2000

Published in: Ulmer Informatik-Berichte ; 2000,06
Schellhorn, Gerhard [Author]

Verifikation abstrakter Zustandsmaschinen

View online
Schließen

Access

https://d-nb.info/1015899366/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Ulm: Universität Ulm. Fakultät für Informatik, 1999
Schellhorn, Gerhard [Author]

ASM refinement preserving invariants

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Augsburg University Publication Server (OPUS), 2021-12-09
Schellhorn, Gerhard [Author]

Verification of abstract state machines

View online
Schließen

Access

https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/84321

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Augsburg: Universität Augsburg, 2021
Schellhorn, Gerhard [Author]

Verification of abstract state machines

View online
Schließen

Links

https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/84321

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Augsburg University Publication Server (OPUS), 2021-03-11
Schellhorn, Gerhard [Author]

Verifikation abstrakter Zustandsmaschinen

View online
Schließen

Access

https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/64497

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Augsburg: Universität Augsburg, 2019
Schellhorn, Gerhard [Author]

Verifikation abstrakter Zustandsmaschinen

View online
Schließen

Links

https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/64497

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Augsburg University Publication Server (OPUS), 2019-11-05
Schellhorn, Gerhard [Author]

Proving properties of directed graphs: a problem set for automated theorem provers

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Universität Ulm, 2016-03-15T09:03:54Z
Schellhorn, Gerhard [Author]

Proving properties of directed graphs: a problem set for automated theorem provers

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2013

Published in: Ulmer Informatik-Berichte ; 98,12
Schellhorn, Gerhard [Author]

Specification and verification of distributed technical systems with central control

View online
Schließen

Links

https://publikationen.bibliothek.kit.edu/294

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KITopen (Karlsruhe Institute of Technologie), 2007-08-02
Schellhorn, Gerhard [Contributor]; Reif, Wolfgang [Contributor]

FM-Tools 2000: the 4th Workshop on Tools for System Design and Verification

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Universität Ulm, 2016-03-14T13:38:42Z
Banach, Richard [Author]; Schellhorn, Gerhard [Author]

On the refinement of atomic actions

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Augsburg University Publication Server (OPUS), 2021-02-18

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication