Skip to contents

Clarke, Edmund M. [Editor] ; CAV 2 1990 New Brunswick, NJ

Computer-aided verification : 2nd international conference, CAV '90, New Brunswick, NJ, USA, June 18 - 21, 1990 ; proceedings

View online
Schließen

Close

Bookmarks

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

Berlin; Heidelberg [u.a.]: Springer, 1991

Published in: Lecture notes in computer science ; 531
Clarke, Edmund M. [Editor]; Voronkov, Andrei [Other] ; LPAR 16 2010 Dakar

Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 ; revised selected papers

View online
Schließen

Close

Bookmarks

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

Berlin; Heidelberg [u.a.]: Springer, 2010

Published in: Lecture notes in computer science ; 6355
Clarke, Edmund M. [Author]; Grumberg, Orna [Author]; Peled, Doron [Author] ; Peled, Doron A. [Other]

Model checking - [3. print.]

Close

Bookmarks

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

Cambridge, Mass. [u.a.]: MIT Press, 2001
Clarke, Edmund M. [Author]; Grumberg, Orna [Author]; Peled, Doron [Author]

Model checking - [2. print.]

Close

Bookmarks

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

Cambridge, Mass. [u.a.]: MIT Press, 2000
Clarke, Edmund M. [Author]; Grumberg, Orna [Author]; Peled, Doron [Author]

Model checking

View online
Schließen

Close

Bookmarks

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

Cambridge, Mass.; London: MIT, c 1999
Clarke, Edmund M. [Editor]; Henzinger, Thomas [Editor]; Veith, Helmut [Editor]; Bloem, Roderick [Editor]

Handbook of model checking

View online
Schließen

Close

Bookmarks

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

Cham: Springer, [2018]
Weber, Carl Maria von [Composer] ; Preston, Stephen John [Instrumentalist]; Ward-Clark, Jenny [Instrumentalist]; Burnett, Richard [Instrumentalist]

Flute trio and sonatas (1 Schallplatte)

Close

Bookmarks

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

England: Amon Ra Records, [1985]
Krug, Wilhelm Traugott [Author] ; Schütz, Friedrich Wilhelm von [Addressee]; Kollmann, Christian Ernst [Publisher]; Kollmann, Christian Ernst [Distributor]; Luther, Martin [Other]; Leibniz, Gottfried Wilhelm [Other]

Sendschreiben an Herrn Hofrath von Schütz in Zerbst vom Professor Krug in Leipzig : Nebst zwei Briefen von Luther und Leibnitz

Close

Bookmarks

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

Leipzig: in Kommission bei Ch. E. Kollmann, 1826
Clarke, Edmund M. [Other] ; CAV 2 1990 New Brunswick, NJ

Computer-aided verification : 2nd international conference, CAV '90, New Brunswick, NJ, USA, June 18 - 21, 1990 ; proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

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

Berlin [u.a.]: Springer, 1991 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 53100
Clarke, Edmund M. [Author] ; Virbickajte, Irina B. [Other]; Voronkov, Andrei [Other]

Perspectives of Systems Informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 2012

Published in: Lecture notes in computer science ; 7162
Clarke, Edmund M. [Author] ; Voronkov, Andrei [Other]

Logic for Programming, Artificial Intelligence, and Reasoning : 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

Published in: Lecture notes in computer science ; 6355
Clarke, Edmund M. [Author] ; Kurshan, Robert P. [Other]

Computer-Aided Verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 1991

Published in: Lecture notes in computer science ; 531
Clarke, Edmund M. [Author] ; Kozen, Dexter [Other]

Logics of Programs : Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 1984

Published in: Lecture notes in computer science ; 164
Clarke, Edmund M. [Contributor]; Kurshan, R. P. [Contributor]

Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990

View online
Schließen

Access

... to E-book (Volltext)

Close

Bookmarks

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

Providence, RI: American Mathematical Society ;, 1991

Published in: DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; v. 3
Biere, Armin [Author]; Clarke, Edmund M. [Author]; Zhu, Yunshan [Author]

Combining local and global model checking

View online
Schließen

Links

... to article

Close

Bookmarks

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

University of Freiburg: FreiDok, 2001

Published in: Electronic notes in theoretical computer science. - 23, 2 (2001) , 34-45, ISSN: 1571-0661
Biere, Armin [Author]; Clarke, Edmund M. [Author]; Zhu, Yunshan [Author]

Combining local and global model checking

View online
Schließen

Links

... to E-book

Close

Bookmarks

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

Universität Karlsruhe (TH), 1999-01-01
Clarke, Edmund M. [Editor]; Henzinger, Thomas [Editor]; Veith, Helmut [Editor]; Bloem, Roderick [Editor]

Handbook of Model Checking

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

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

Cham: Springer, 2018

Published in: SpringerLink ; Bücher - Springer eBook Collection
Clarke, Edmund M. [Author]; Goltz, Ursula [Author]; Niebert, Peter [Author]; Penczek, Wojciech [Author] ; Edmund M. Clarke and Ursula Goltz and Peter Niebert and Wojciech Penczek [Contributor]

Temporal Logics for Distributed Systems - Paradigms and Algorithms (Dagstuhl Seminar 99411)

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2000
Clarke, Edmund M. [Author]; Biere, Armin [Author]; Raimi, Richard [Author]; Zhu, Yunshan [Author]

Bounded model checking using satisfiability solving

View online
Schließen

Links

... to article

Close

Bookmarks

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

University of Freiburg: FreiDok, 2001

Published in: Formal methods in system design. - 19 (2001) , 7–34, ISSN: 1572-8102
Williams, Poul Frederick [Author]; Biere, Armin [Author]; Clarke, Edmund M. [Author]; Gupta, Anubhav [Author]

Combining decision diagrams and SAT procedures for efficient symbolic model checking

View online
Schließen

Links

... to electronic resource

Close

Bookmarks

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

University of Freiburg: FreiDok, 2000

Published in: Computer aided verification : 12th international conference ; proceedings. - Berlin, 2000. - 124-138, ISBN: 978-3-540-67770-3

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