Skip to contents

Apt, Krzysztof R. [Author]; Olderog, Ernst-Rüdiger [Author]

Verification of sequential and concurrent programs

Close

Bookmarks

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

New York; Heidelberg [u.a.]: Springer, 1991

Published in: Texts and monographs in computer science
Bochmann, Gregor von [Editor] ; CAV 4 1992 Montréal

Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992 ; proceedings

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 663
Bakker, Jacobus W. de [Editor] ; REX Workshop 1989 Mook

Stepwise refinement of distributed systems : models, formalisms, correctness ; REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989 ; proceedings

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 430
Russo, Claudio [Editor]; Zhou, Neng-Fa [Other] ; PADL 14 2012 Philadelphia, Pa

Practical aspects of declarative languages : 14th international symposium, PADL 2012, Philadelphia, PA, January 23 - 24, 2012 ; proceedings

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 7149
Fokkink, Willem J. [Author]

Modelling distributed systems : with 7 tables

Close

Bookmarks

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

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

Published in: Texts in theoretical computer science : an EATCS series
Aichernig, Bernhard K. [Editor]; Boer, Frank S. de [Other]; Bonsangue, Marcello M. [Other] ; FMCO 9 2010 Graz

Formal methods for components and objects : 9th international symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 ; revised papers

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 6957
Sifakis, Joseph [Editor] ; Workshop on Automatic Verification Methods for Finite State Systems 1989 Grenoble

Automatic verification methods for finite state systems : International Workshop, Grenoble, France, June 12 - 14, 1989 ; proceedings

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 407
Kaklamanis, Christos [Editor]; Nielson, Flemming [Other] ; TGC 4 2008 Barcelona

Trustworthy global computing : 4th international symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008 ; revised selected papers

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 5474
Barthe, Gilles [Editor]; Fournet, Cédric [Other] ; TGC 3 2007 Sophia Antipolis

Trustworthy global computing : third symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007 ; revised selected papers

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 4912
De Nicola, Rocco [Editor]; Sangiorgi, Davide [Other] ; TGC 1 2005 Edinburgh

Trustworthy global computing : international symposium, TGC 2005, Edinburgh, UK, April 7 - 9, 2005 ; revised selected papers

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 3705
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

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
Giannakopoulou, Dimitra [Editor]; Orejas, Fernando [Other] ; FASE 14 2011 Saarbrücken, ETAPS 14 2011 Saarbrücken

Fundamental approaches to software engineering : 14th international conference, FASE 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 ; proceedings

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 6603
Marchetti-Spaccamela, Alberto [Editor]; Segal, Michael [Other] ; TAPAS 1 2011 Rom

Theory and practice of algorithms in (computer) systems : first International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011 ; proceedings

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 6595
Brookes, Stephen D. [Other]; Roscoe, Andrew William [Editor] ; Seminar on Concurrency 1984 Pittsburgh, Pa, Carnegie Mellon University

Seminar on Concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9 - 11, 1984

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 197
Siegel, Michael [Author]

Phased design and verification of stabilizing systems

Close

Bookmarks

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

Kiel: Inst. für Informatik und praktische Mathematik, 1996

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9705
Gerber, Christian [Author]

Implementation and verification of distributed control systems

Close

Bookmarks

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

Berlin: Logos-Verl., 2011

Published in: Hallenser Schriften zur Automatisierungstechnik ; 7
Palanque, Philippe [Editor] ; DSV IS 7 2000 Limerick

Interactive systems : design, specification, and verification ; 7th International Workshop, Limerick, Ireland, June 5 - 6, 2000 ; revised papers

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 1946
Calinescu, Radu C. [Editor]; Jackson, Ethan [Other] ; Monterey Workshop 16 2010 Redmond, Wash

Foundations of computer software : modeling, development, and verification of adaptive systems ; 16th Monterey Workshop 2010, Redmond, WA, USA, March 31-April 2010 ; revised selected papers

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 6662
Rattray, Charles [Editor] ; British Computer Society Specialist Group in Formal Aspects of Computing Science, Workshop on Specification and Verification of Concurrent Systems 1988 Stirling

Specification and verification of concurrent systems

Close

Bookmarks

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

London; Berlin; Heidelberg [u.a.]: Springer, 1990

Published in: Workshops in computing
Reisig, Wolfgang [Author]

Modelling and verification of distributed algorithms

Close

Bookmarks

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

Berlin: Professoren des Inst. für Informatik, Humboldt-Univ., 1996

Published in: Informatik-Berichte ; 6400

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