- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-0490
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Reachability Problems on Reliable and Lossy Queue Automata ; day:19 ; month:6 ; year:2021 ; pages:1-32
Theory of computing systems ; (19.6.2021), 1-32
- Urheber
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s00224-021-10031-2
- URN
-
urn:nbn:de:101:1-2021100800075031175283
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:26 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
- Köcher, Chris
- SpringerLink (Online service)
Ähnliche Objekte (12)
Reachability problems on reliable and lossy queue automata
Timed Automata Relaxation for Reachability
Modern aspects of classical automata theory : finite automata, biautomata, and lossy compression
Rational, recognizable, and aperiodic sets in the partially lossy queue monoid
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks
Maximizing reachability probabilities in rectangular automata with random events
Reachability analysis of reversal-bounded automata on series–parallel graphs
The descriptional power of queue automata of constant length
Reachability in Two-Parametric Timed Automata with one Parameter is EXPSPACE-Complete
A model template for reachability-based containment checking of imprecise observations in timed automata
Modeling and verifying the FlexRay physical layer protocol with reachability checking of timed automata
Reachability switching games
Reachability problems on reliable and lossy queue automata
Timed Automata Relaxation for Reachability
Modern aspects of classical automata theory : finite automata, biautomata, and lossy compression
Rational, recognizable, and aperiodic sets in the partially lossy queue monoid
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks
Maximizing reachability probabilities in rectangular automata with random events
Reachability analysis of reversal-bounded automata on series–parallel graphs
The descriptional power of queue automata of constant length
Reachability in Two-Parametric Timed Automata with one Parameter is EXPSPACE-Complete
A model template for reachability-based containment checking of imprecise observations in timed automata
Modeling and verifying the FlexRay physical layer protocol with reachability checking of timed automata
Reachability switching games
Reachability problems on reliable and lossy queue automata
Timed Automata Relaxation for Reachability
Modern aspects of classical automata theory : finite automata, biautomata, and lossy compression
Rational, recognizable, and aperiodic sets in the partially lossy queue monoid
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks
Maximizing reachability probabilities in rectangular automata with random events
Reachability analysis of reversal-bounded automata on series–parallel graphs
The descriptional power of queue automata of constant length
Reachability in Two-Parametric Timed Automata with one Parameter is EXPSPACE-Complete
A model template for reachability-based containment checking of imprecise observations in timed automata
Modeling and verifying the FlexRay physical layer protocol with reachability checking of timed automata