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
Burkart, Olaf [Verfasser:in]; Steffen, Bernhard [Verfasser:in]

Pushdown processes : parallel composition and model checking

Schließen

Merkliste

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

Aachen: RWTH, Fachgruppe Informatik, [1993]

Erschienen in: Aachener Informatik-Berichte ; 199310
Burkart, Olaf [Verfasser:in]; Steffen, Bernhard [Verfasser:in]

Model checking for context free processes

Schließen

Merkliste

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

Aachen: RWTH, Fachgruppe Informatik, 1992

Erschienen in: Aachener Informatik-Berichte ; 92,6
Burkart, Olaf [Verfasser:in]; Caucal, Didier [Verfasser:in]; Steffen, Bernhard [Verfasser:in]

An elementary bisimulation decision procedure for arbitrary context free processes

Schließen

Merkliste

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

Aachen: RWTH, Fachgruppe Informatik, [1994]

Erschienen in: Aachener Informatik-Berichte ; 199428
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
Burkart, Olaf

Automatic Verification of Sequential Infinite-State Processes

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Berlin Heidelberg, 1997

Erschienen in: Lecture Notes in Computer Science (1997)
Burkart, Olaf

Model checking rationally restricted right closures of recognizable graphs

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Elsevier BV, 1997

Erschienen in: Electronic Notes in Theoretical Computer Science, 9 (1997), Seite 25
Burkart, Olaf

Queues as Processes

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Elsevier BV, 1998

Erschienen in: Electronic Notes in Theoretical Computer Science, 18 (1998), Seite 23
Burkart, Olaf; Steffen, Bernhard

Model checking the full modal mu-calculus for infinite sequential processes

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Elsevier BV, 1999

Erschienen in: Theoretical Computer Science, 221 (1999) 1-2, Seite 251-270
Burkart, Olaf; Steffen, Bernhard

Automata, Languages and Programming: Model checking the full modal mu-calculus for infinite sequential processes

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Berlin Heidelberg, 1997

Erschienen in: Automata, Languages and Programming (1997), Seite 419-429
Burkart, Olaf; Esparza, Javier

More Infinite Results

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Elsevier BV, 1997

Erschienen in: Electronic Notes in Theoretical Computer Science, 5 (1997), Seite 29
Burkart, Olaf; Steffen, Bernhard

CONCUR '94: Concurrency Theory: Pushdown Processes: Parallel Composition and Model Checking

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Berlin Heidelberg, 1994

Erschienen in: CONCUR '94: Concurrency Theory (1994), Seite 98-113
Burkart, Olaf; Quemener, Yves-Marie

Model-Checking of Infinite Graphs Defined by Graph Grammars

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Elsevier BV, 1997

Erschienen in: Electronic Notes in Theoretical Computer Science, 5 (1997), Seite 16
Burkart, Olaf; Caucal, Didier; Steffen, Bernhard

CONCUR '96: Concurrency Theory: Bisimulation collapse and the process taxonomy

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Berlin Heidelberg, 1996

Erschienen in: CONCUR '96: Concurrency Theory (1996), Seite 247-262
Burkart, Olaf; Caucal, Didier; Steffen, Bernhard

Lecture Notes in Computer Science: An elementary bisimulation decision procedure for arbitrary context-free processes

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Berlin Heidelberg, 1995

Erschienen in: Lecture Notes in Computer Science (1995), Seite 423-433
Migliavacca, Mirco; Perez‐Priego, Oscar; Rossini, Micol; El‐Madany, Tarek S.; Moreno, Gerardo; van der Tol, Christiaan; Rascher, Uwe; Berninger, Anna; Bessenbacher, Verena; Burkart, Andreas; Carrara, Arnaud; Fava, Francesco; Guan, Jin‐Hong; Hammer, Tiana W.; Henkel, Kathrin; Juarez‐Alcalde, Enrique; Julitta, Tommaso; Kolle, Olaf; Martín, M. Pilar; Musavi, Talie; Pacheco‐Labrador, Javier; Pérez‐Burgueño, Andrea; Wutzler, Thomas; Zaehle, Sönke;

Plant functional traits and canopy structure control the relationship between photosynthetic CO2 uptake and far‐red sun‐induced fluorescence in a Mediterranean grassland under different nutrient availability

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Wiley, 2017

Erschienen in: New Phytologist, 214 (2017) 3, Seite 1078-1091

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