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
Hermanns, Holger [Author]

Interactive Markov chains : and the quest for quantified quality

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

Published in: Lecture notes in computer science ; 2428
Hermanns, Holger [Editor] ; PAPM PROBMIV 2 2002 Kopenhagen

Process algebra and probabilistic methods : performance modeling and verification ; second joint international workshop ; 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, 2002

Published in: Lecture notes in computer science ; 2399
Alfaro, Luca de [Other]; DeAlfaro, Luca [Editor] ; PAPM PROBMIV 1 2001 Aachen

Process algebra and probabilistic methods : performance modeling and verification ; joint international workshop ; 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-Verlag, 2001

Published in: Lecture notes in computer science ; 2165
Cortadella, Jordi [Editor]

Concurrency and hardware design : advances in Petri nets

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

Published in: Lecture notes in computer science ; 2549
Kuntz, Matthias [Author]

Symbolic semantics and verification of stochastic process algebras = Symbolische Semantik und Verifikation stochastischer Prozessalgebren

View online
Schließen

Access

... to E-book via Resolving system

... to E-book via German National Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.
Kuntz, Georg Wolfgang Matthias [Author]

Symbolic Semantics and Verification of Stochastic Process Algebras ; Symbolische Semantik und Verifikation stochastischer Prozessalgebren

View online
Schließen

Links

... to thesis

Close

Bookmarks

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

OPUS FAU - Online publication system of Friedrich-Alexander-Universität Erlangen-Nürnberg, 2006-03-10
Hermanns, Holger [Author]

Interactive Markov Chains : And the Quest for Quantified Quality

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.

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002

Published in: Lecture notes in computer science ; 2428
Hermanns, Holger [Author] ; Segala, Roberto [Other]

Process Algebra and Probabilistic Methods: Performance Modeling and Verification : Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings

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.

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002

Published in: Lecture notes in computer science ; 2399
Alfaro, Luca [Author] ; Gilmore, Stephen [Other]

Process Algebra and Probabilistic Methods. Performance Modelling and Verification : Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, September 12–14, 2001 Proceedings

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.

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2001

Published in: Lecture notes in computer science ; 2165
Cortadella, Jordi [Author] ; Rozenberg, Grzegorz [Other]; Yakovlev, Alex [Other]

Concurrency and Hardware Design : Advances in Petri Nets

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.

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002

Published in: Lecture notes in computer science ; 2549

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