Skip to contents

Burkart, Olaf [Author]

Automatic verification of sequential infinite state processes

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

Published in: Lecture notes in computer science ; 1354
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
Esparza, Javier [Author]; Heljanko, Keijo [Author]

Unfoldings : a partial-order approach to model checking

View online
Schließen

Close

Bookmarks

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

Berlin; Heidelberg: Springer, 2008

Published in: Monographs in theoretical computer science : an EATCS series
Zimmermann, Wolf [Editor]; Thalheim, Bernhard [Other] ; ASM 11 2004 Wittenberg

Abstract state machines 2004 : advances in theory and practice ; 11th international workshop, Lutherstadt Wittenberg, Germany, May 24 - 28, 2004 ; 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, 2004

Published in: Lecture notes in computer science ; 3052
Fischer, Marco [Author]

A formal fault model for component-based models of embedded systems

View online
Schließen

Close

Bookmarks

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

Dresden: TUDpress, 2007

Published in: Wissenschaftliche Schriftenreihe Eingebettete, selbstorganisierende Systeme ; 4
Gurevich, Yuri [Other]; Gurevič, Jurij [Editor] ; ASM 2000 Monte Verità

Abstract state machines : theory and applications ; 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, 2000

Published in: Lecture notes in computer science ; 1912
Yang, Hongseok [Editor] ; APLAS 9 2011 Kending

Programming languages and systems : 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011 ; 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, 2011

Published in: Lecture notes in computer science ; 7078
Leucker, Martin [Editor]; Morgan, Carroll [Other] ; ICTAC 6 2009 Kuala Lumpur

Theoretical aspects of computing - ICTAC 2009 : 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 ; 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, 2009

Published in: Lecture notes in computer science ; 5684
Jones, Cliff B. [Editor]; Liu, Zhiming [Other]; Woodcock, Jones [Other] ; ICTAC 4 2007 Macau

Theoretical aspects of computing - ICTAC 2007 : 4th international colloquium, Macao, China, September 26-28, 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 ; 4711
Barkaoui, Kamel [Editor]; Cavalcanti, Ana [Other]; Cerone, Antonio [Other] ; ICTAC 3 2006 Tūnis

Theoretical aspects of computing - ICTAC 2006 : third international colloquium, Tunis, Tunisia, November 20-24, 2006 ; 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, 2006

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

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

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

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 ; 5930
Malkis, Alexander [Author]

Cartesian abstraction and verification of multithreaded programs

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.

2010
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
Burkart, Olaf [Author]

Automatic Verification of Sequential Infinite-State Processes

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

Published in: Lecture notes in computer science ; 1354
Felleisen, Matthias [Author] ; Gardner, Philippa [Other]

Programming Languages and Systems : 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. 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, 2013

Published in: Lecture notes in computer science ; 7792
Zimmermann, Wolf [Author] ; Thalheim, Bernhard [Other]

Abstract State Machines 2004. Advances in Theory and Practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. 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, 2004

Published in: Lecture notes in computer science ; 3052
Butler, Michael [Editor]; Conchon, Sylvain [Editor]; Zaïdi, Fatiha [Editor]

Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings - [1st ed. 2015]

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; Heidelberg; New York; Dordrecht; London: Springer, 2015

Published in: Lecture notes in computer science ; 9407
Aoki, Toshiaki [Author] ; Taguchi, Kenji [Other]

Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. 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, 2012

Published in: Lecture notes in computer science ; 7635

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