Skip to contents

Dams, Dennis [Editor]; Roever, Willem-Paul de [Honoree]; Hannemann, Ulrich [Editor]; Steffen, Martin [Editor]; Dams, Dennis René [Editor]

Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever

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 ; 5930
Roever, Willem-Paul de [Editor] ; COMPOS 1997 Malente

Compositionality : the significant difference ; international symposium, COMPOS '97, Bad Malente, Germany, September 8 - 12, 1997 ; revised lectures

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 1536
Weißbach, Mandy [Author] ; Zimmermann, Wolf [Other]; Löwe, Welf [Other]

Deadlockanalyse Service-orientierter Softwaresysteme

View online
Schließen

Access

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

Show more show less

Close

Bookmarks

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

Halle (Saale): Universitäts- und Landesbibliothek Sachsen-Anhalt, 2019
Roever, Willem-Paul [Author] ; Langmaack, Hans [Other]; Pnueli, Amir [Other]

Compositionality: The Significant Difference : International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

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.

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 1998

Published in: Lecture notes in computer science ; 1536
Malkis, Alexander [Author]

Cartesian abstraction and verification of multithreaded programs ; Kartesische Abstraktion und Verifikation nebenläufiger Programme

View online
Schließen

Links

https://freidok.uni-freiburg.de/data/7356

Show more show less

Close

Bookmarks

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

University of Freiburg: FreiDok, 2010
Dams, Dennis [Author] ; Hannemann, Ulrich [Other]; Steffen, Martin [Other]

Concurrency, Compositionality, and Correctness : Essays in Honor of Willem-Paul de Roever

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.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

Published in: Lecture notes in computer science ; 5930

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.

Skip to contents

Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever

Bookmarks

Compositionality : the significant difference ; international symposium, COMPOS '97, Bad Malente, Germany, September 8 - 12, 1997 ; revised lectures

Bookmarks

Deadlockanalyse Service-orientierter Softwaresysteme

Access

Bookmarks

Compositionality: The Significant Difference : International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

Access

Bookmarks

Cartesian abstraction and verification of multithreaded programs ; Kartesische Abstraktion und Verifikation nebenläufiger Programme

Links

Bookmarks

Concurrency, Compositionality, and Correctness : Essays in Honor of Willem-Paul de Roever

Access

Bookmarks

You did not find what you were looking for?

Suchergebnisse filtern

Access

Media type

Year of publication

Availability

Location

Access State

Language

Subject

Creator

Collection

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication