- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-299X
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
UNITY and Büchi automata ; day:10 ; month:2 ; year:2021 ; pages:1-21
Formal aspects of computing ; (10.2.2021), 1-21
- Urheber
-
Hesselink, Wim H.
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s00165-020-00528-x
- URN
-
urn:nbn:de:101:1-2021033119553399677364
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
- 14.08.2025, 11:02 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek.
Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Hesselink, Wim H.
- SpringerLink (Online service)
Ähnliche Objekte (12)
Buffered Simulation for Büchi Automata
Simulation relations for alternating Büchi automata
Partially ordered two-way Büchi automata
Simulation Relations for Alternating Büchi Automata
Determinization and ambiguity of classical and probabilistic Büchi automata
From LTL to unambiguous Büchi automata via disambiguation of alternating automata
Kleene-Schützenberger and Büchi theorems for weighted timed automata
Kleene-Schützenberger and Büchi theorems for weighted timed automata
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata
Determinization of Büchi Automata : Unifying the Approaches of Safra and Muller-Schupp
Werte, Qualität und Innovation : Entstehung und Entwicklung der Büchi Labortechnik : Walter Büchi, Eugen Büchi, Reinhard Büchi
Büchi 2
Buffered Simulation for Büchi Automata
Simulation relations for alternating Büchi automata
Partially ordered two-way Büchi automata
Simulation Relations for Alternating Büchi Automata
Determinization and ambiguity of classical and probabilistic Büchi automata
From LTL to unambiguous Büchi automata via disambiguation of alternating automata
Kleene-Schützenberger and Büchi theorems for weighted timed automata
Kleene-Schützenberger and Büchi theorems for weighted timed automata
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata
Determinization of Büchi Automata : Unifying the Approaches of Safra and Muller-Schupp
Werte, Qualität und Innovation : Entstehung und Entwicklung der Büchi Labortechnik : Walter Büchi, Eugen Büchi, Reinhard Büchi
Büchi 2
Buffered Simulation for Büchi Automata
Simulation relations for alternating Büchi automata
Partially ordered two-way Büchi automata
Simulation Relations for Alternating Büchi Automata
Determinization and ambiguity of classical and probabilistic Büchi automata
From LTL to unambiguous Büchi automata via disambiguation of alternating automata
Kleene-Schützenberger and Büchi theorems for weighted timed automata
Kleene-Schützenberger and Büchi theorems for weighted timed automata
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata
Determinization of Büchi Automata : Unifying the Approaches of Safra and Muller-Schupp
Werte, Qualität und Innovation : Entstehung und Entwicklung der Büchi Labortechnik : Walter Büchi, Eugen Büchi, Reinhard Büchi