- Sprache
-
Englisch
- Umfang
-
46 S.
- Maße
-
21 cm
- Anmerkungen
-
graph. Darst.
Literaturverz. S. 43 - 46
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Erschienen in
-
SFB-Bericht / A / Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung Paralleler Rechnerarchitekturen ; Nr. 90,13, Reihe A
- Urheber
-
Glabbeek, Rob van
- Ereignis
-
Veröffentlichung
- (wo)
-
München
- (wer)
-
SFB 342
- (wann)
-
1990
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 12:37 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Glabbeek, Rob van
- SFB 342
Entstanden
- 1990
Ähnliche Objekte (12)
A Game for Linear-time–Branching-time Spectroscopy
A linear-time branching-time perspective on interface automata
Hybrid Branching-Time Logics
New Foundations for Branching Space-Times
Algorithmische Eigenschaften von Branching-Time-Logiken
Branching space-time, modal logic and the counterfactual conditional
Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models
Verification of branching-time and alternating-time properties for exogenous coordination models
A generalized manifold topology for branching space-times
Below linear-time : Dimensions versus time
Linear time iteration
Singular spectrum analysis for time series
A Game for Linear-time–Branching-time Spectroscopy
A linear-time branching-time perspective on interface automata
Hybrid Branching-Time Logics
New Foundations for Branching Space-Times
Algorithmische Eigenschaften von Branching-Time-Logiken
Branching space-time, modal logic and the counterfactual conditional
Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models
Verification of branching-time and alternating-time properties for exogenous coordination models
A generalized manifold topology for branching space-times
Below linear-time : Dimensions versus time
Linear time iteration
Singular spectrum analysis for time series
A Game for Linear-time–Branching-time Spectroscopy
A linear-time branching-time perspective on interface automata
Hybrid Branching-Time Logics
New Foundations for Branching Space-Times
Algorithmische Eigenschaften von Branching-Time-Logiken
Branching space-time, modal logic and the counterfactual conditional
Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models
Verification of branching-time and alternating-time properties for exogenous coordination models
A generalized manifold topology for branching space-times
Below linear-time : Dimensions versus time
Linear time iteration