Skip to contents

Mertsiotakis, Vassilios [Author]

Approximate analysis methods for stochastic process algebras

Close

Bookmarks

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

1998
Drossopoulou, Sophia [Editor] ; ESOP 17 2008 Budapest, ETAPS 11 2008 Budapest

Programming languages and systems : 17th European Symposium on Programming, ESOP 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 ; 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, 2008

Published in: Lecture notes in computer science ; 4960
Nicola, Rocco De [Other]; De Nicola, Rocco [Editor] ; ESOP 16 2007 Braga, ETAPS 10 2007 Braga

Programming languages and systems : 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; 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, 2007

Published in: Lecture notes in computer science ; 4421
Cortesi, Agostino [Editor] ; SAS 6 1999 Venedig

Static analysis : 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, 1999

Published in: Lecture notes in computer science ; 1694
Abel, Dirk [Author]

Modellbildung und Analyse ereignisorientierter Systeme mit Petri-Netzen

Close

Bookmarks

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

Düsseldorf: VDI-Verl., 1987

Published in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI ; 14200
Stein, Wolfgang [Author]

Objektorientierte Analyse für nebenläufige Systeme : die Methode MORE/RT

Close

Bookmarks

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

Mannheim [u.a.]: BI-Wiss.-Verl., 1995

Published in: Forschung in der Softwaretechnik ; 2
Müller, Martin Ludwig [Author]

Set based failure diagnosis for concurrent constraint programming

View online
Schließen

Access

... to E-book via Resolving system (Volltext ; freely accessible)

Close

Bookmarks

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

1998
Drossopoulou, Sophia [Other]

Programming Languages and Systems : 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Pr

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, 2008

Published in: Lecture notes in computer science ; 4960
Nicola, Rocco [Other]

Programming Languages and Systems : 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal

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, 2007

Published in: Lecture notes in computer science ; 4421
Cortesi, Agostino [Author] ; Filè, Gilberto [Other]

Static Analysis : 6th International Symposium, SAS’99 Venice, Italy, September 22–24, 1999 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-Verlag Berlin Heidelberg, 1999

Published in: Lecture notes in computer science ; 1694

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

Approximate analysis methods for stochastic process algebras

Bookmarks

Programming languages and systems : 17th European Symposium on Programming, ESOP 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 ; proceedings

Bookmarks

Programming languages and systems : 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings

Bookmarks

Static analysis : proceedings

Bookmarks

Modellbildung und Analyse ereignisorientierter Systeme mit Petri-Netzen

Bookmarks

Objektorientierte Analyse für nebenläufige Systeme : die Methode MORE/RT

Bookmarks

Set based failure diagnosis for concurrent constraint programming

Access

Bookmarks

Programming Languages and Systems : 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Pr

Access

Bookmarks

Programming Languages and Systems : 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal

Access

Bookmarks

Static Analysis : 6th International Symposium, SAS’99 Venice, Italy, September 22–24, 1999 Proceedings

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