- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
In: Acta Informatica, 57, 3-5, S. 513-550
- Ereignis
-
Veröffentlichung
- (wo)
-
Augsburg
- (wer)
-
Universität Augsburg
- (wann)
-
2020
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Springer
- (wann)
-
2020
- Urheber
- DOI
-
10.1007/s00236-020-00369-4
- URN
-
urn:nbn:de:bvb:384-opus4-767683
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:52 MESZ
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
- Vogler, Walter
- Lüttgen, Gerald
- Universität Augsburg
- Springer
Entstanden
- 2020
Ähnliche Objekte (12)
A linear-time branching-time perspective on interface automata
Correction to: A linear-time branching-time perspective on interface automata
The linear time - branching time spectrum
A Game for Linear-time–Branching-time Spectroscopy
Hybrid Branching-Time Logics
Modal Interface Automata
Transition Semantics for Branching Time
Branching Time, Fatalism, and Possibilities
Weighted branching automata : combining concurrency and weights
New Foundations for Branching Space-Times
New Foundations for Branching Space-Times
Algorithmische Eigenschaften von Branching-Time-Logiken
A linear-time branching-time perspective on interface automata
Correction to: A linear-time branching-time perspective on interface automata
The linear time - branching time spectrum
A Game for Linear-time–Branching-time Spectroscopy
Hybrid Branching-Time Logics
Modal Interface Automata
Transition Semantics for Branching Time
Branching Time, Fatalism, and Possibilities
Weighted branching automata : combining concurrency and weights
New Foundations for Branching Space-Times
New Foundations for Branching Space-Times
Algorithmische Eigenschaften von Branching-Time-Logiken
A linear-time branching-time perspective on interface automata
Correction to: A linear-time branching-time perspective on interface automata
The linear time - branching time spectrum
A Game for Linear-time–Branching-time Spectroscopy
Hybrid Branching-Time Logics
Modal Interface Automata
Transition Semantics for Branching Time
Branching Time, Fatalism, and Possibilities
Weighted branching automata : combining concurrency and weights
New Foundations for Branching Space-Times
New Foundations for Branching Space-Times