Zum Inhalt springen

Burkart, Olaf [Verfasser:in]

Automatic verification of sequential infinite state processes

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 1354
Alfaro, Luca de [Sonstige Person, Familie und Körperschaft]; DeAlfaro, Luca [Herausgeber:in] ; PAPM PROBMIV 1 2001 Aachen

Process algebra and probabilistic methods : performance modeling and verification ; joint international workshop ; proceedings

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 2165
Hermanns, Holger [Herausgeber:in] ; PAPM PROBMIV 2 2002 Kopenhagen

Process algebra and probabilistic methods : performance modeling and verification ; second joint international workshop ; proceedings

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 2399
Esparza, Javier [Verfasser:in]; Heljanko, Keijo [Verfasser:in]

Unfoldings : a partial-order approach to model checking

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 2008

Erschienen in: Monographs in theoretical computer science : an EATCS series
Zimmermann, Wolf [Herausgeber:in]; Thalheim, Bernhard [Sonstige Person, Familie und Körperschaft] ; ASM 11 2004 Wittenberg

Abstract state machines 2004 : advances in theory and practice ; 11th international workshop, Lutherstadt Wittenberg, Germany, May 24 - 28, 2004 ; proceedings

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 3052
Fischer, Marco [Verfasser:in]

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

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dresden: TUDpress, 2007

Erschienen in: Wissenschaftliche Schriftenreihe Eingebettete, selbstorganisierende Systeme ; 4
Gurevich, Yuri [Sonstige Person, Familie und Körperschaft]; Gurevič, Jurij [Herausgeber:in] ; ASM 2000 Monte Verità

Abstract state machines : theory and applications ; international workshop ; proceedings

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

Programming languages and systems : 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011 ; proceedings

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 7078
Leucker, Martin [Herausgeber:in]; Morgan, Carroll [Sonstige Person, Familie und Körperschaft] ; ICTAC 6 2009 Kuala Lumpur

Theoretical aspects of computing - ICTAC 2009 : 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 ; proceedings

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 5684
Barkaoui, Kamel [Herausgeber:in]; Cavalcanti, Ana [Sonstige Person, Familie und Körperschaft]; Cerone, Antonio [Sonstige Person, Familie und Körperschaft] ; ICTAC 3 2006 Tūnis

Theoretical aspects of computing - ICTAC 2006 : third international colloquium, Tunis, Tunisia, November 20-24, 2006 ; proceedings

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 4281
Jones, Cliff B. [Herausgeber:in]; Liu, Zhiming [Sonstige Person, Familie und Körperschaft]; Woodcock, Jones [Sonstige Person, Familie und Körperschaft] ; ICTAC 4 2007 Macau

Theoretical aspects of computing - ICTAC 2007 : 4th international colloquium, Macao, China, September 26-28, 2007 ; proceedings

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 4711
Roever, Willem-Paul de [Herausgeber:in] ; COMPOS 1997 Malente

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

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 1536
Dams, Dennis [Herausgeber:in]; Roever, Willem-Paul de [Gefeierte:r]; Hannemann, Ulrich [Herausgeber:in]; Steffen, Martin [Herausgeber:in]; Dams, Dennis René [Herausgeber:in]

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

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 5930
Malkis, Alexander [Verfasser:in]

Cartesian abstraction and verification of multithreaded programs

Online ansehen
Schließen

Zugang

... zum E-Book via Resolving-System (Volltext ; frei zugänglich)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

2010
Kuntz, Matthias [Verfasser:in]

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

Online ansehen
Schließen

Zugang

... zum E-Book via Resolving-System

... zum E-Book via Deutsche Nationalbibliothek

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Balser, Michael [Verfasser:in]

Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction

Online ansehen
Schließen

Zugang

... zum E-Book via Resolving-System

... zum E-Book via Deutsche Nationalbibliothek

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Kuntz, Georg Wolfgang Matthias [Verfasser:in]

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

Online ansehen
Schließen

Links

... zur Hochschulschrift

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

OPUS FAU - Online publication system of Friedrich-Alexander-Universität Erlangen-Nürnberg, 2006-03-10
Burkart, Olaf [Verfasser:in]

Automatic Verification of Sequential Infinite-State Processes

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1997

Erschienen in: Lecture notes in computer science ; 1354
Felleisen, Matthias [Verfasser:in] ; Gardner, Philippa [Sonstige Person, Familie und Körperschaft]

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

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer, 2013

Erschienen in: Lecture notes in computer science ; 7792
Zimmermann, Wolf [Verfasser:in] ; Thalheim, Bernhard [Sonstige Person, Familie und Körperschaft]

Abstract State Machines 2004. Advances in Theory and Practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2004

Erschienen in: Lecture notes in computer science ; 3052

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr