Zum Inhalt springen

Burkart, Olaf [VerfasserIn]

Automatic verification of sequential infinite state processes

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 [VerfasserIn]; Steffen, Bernhard [VerfasserIn]

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 [VerfasserIn]; Steffen, Bernhard [VerfasserIn]

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 [VerfasserIn]; Caucal, Didier [VerfasserIn]; Steffen, Bernhard [VerfasserIn]

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 [VerfasserIn]

Automatic Verification of Sequential Infinite-State Processes

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

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

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

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
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
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
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
Burkart, Olaf; Steffen, Bernhard

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

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

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
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
Burkart, Olaf; Steffen, Bernhard

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

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

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
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
Burkart, Olaf; Caucal, Didier; Steffen, Bernhard

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

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

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

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

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

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