- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource, 1 online resource.
- Sprache
-
Englisch
- Erschienen in
-
Temporal graph patterns by timed automata ; day:5 ; month:5 ; year:2023 ; pages:1-23
The VLDB journal ; (5.5.2023), 1-23
- Urheber
-
Aghasadeghi, Amir
Bussche, Jan Van den
Stoyanovich, Julia
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s00778-023-00795-z
- URN
-
urn:nbn:de:101:1-2023090609374299288721
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:59 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
- Aghasadeghi, Amir
- Bussche, Jan Van den
- Stoyanovich, Julia
- SpringerLink (Online service)
Ähnliche Objekte (12)
Concurrent timed port automata
Timed Automata Relaxation for Reachability
Learning One-Clock Timed Automata
Machine learning of timed automata
Machine Learning of Timed Automata
Learning One-Clock Timed Automata
Verifying Opacity of Discrete-Timed Automata
Directed model checking for timed automata
TarTar : A Timed Automata Repair Tool
Monitoring CTMCs by Multi-clock Timed Automata
Dynamic Data Structures for Timed Automata Acceptance
Formal testing of timed graph transformation systems using metric temporal graph logic
Concurrent timed port automata
Timed Automata Relaxation for Reachability
Learning One-Clock Timed Automata
Machine learning of timed automata
Machine Learning of Timed Automata
Learning One-Clock Timed Automata
Verifying Opacity of Discrete-Timed Automata
Directed model checking for timed automata
TarTar : A Timed Automata Repair Tool
Monitoring CTMCs by Multi-clock Timed Automata
Dynamic Data Structures for Timed Automata Acceptance
Formal testing of timed graph transformation systems using metric temporal graph logic
Concurrent timed port automata
Timed Automata Relaxation for Reachability
Learning One-Clock Timed Automata
Machine learning of timed automata
Machine Learning of Timed Automata
Learning One-Clock Timed Automata
Verifying Opacity of Discrete-Timed Automata
Directed model checking for timed automata
TarTar : A Timed Automata Repair Tool
Monitoring CTMCs by Multi-clock Timed Automata
Dynamic Data Structures for Timed Automata Acceptance