- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-1383
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Bounded determinization of timed automata with silent transitions ; day:27 ; month:3 ; year:2017 ; pages:1-36
Real-time systems ; (27.3.2017), 1-36
- Classification
-
Informatik
- Creator
-
Lorber, Florian
- Contributor
-
Rosenmann, Amnon
Nickovic, Dejan
Aichernig, Bernhard K.
SpringerLink (Online service)
- DOI
-
10.1007/s11241-017-9271-x
- URN
-
urn:nbn:de:1111-201704144904
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:45 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Lorber, Florian
- Rosenmann, Amnon
- Nickovic, Dejan
- Aichernig, Bernhard K.
- SpringerLink (Online service)
Other Objects (12)
Bounded DBM-based clock state construction for timed automata in Uppaal
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
Temporal graph patterns by timed automata
Verifying Opacity of Discrete-Timed Automata
Directed model checking for timed automata
TarTar : A Timed Automata Repair Tool
Dynamic Data Structures for Timed Automata Acceptance
Bounded DBM-based clock state construction for timed automata in Uppaal
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
Temporal graph patterns by timed automata
Verifying Opacity of Discrete-Timed Automata
Directed model checking for timed automata
TarTar : A Timed Automata Repair Tool
Dynamic Data Structures for Timed Automata Acceptance
Bounded DBM-based clock state construction for timed automata in Uppaal
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
Temporal graph patterns by timed automata
Verifying Opacity of Discrete-Timed Automata
Directed model checking for timed automata
TarTar : A Timed Automata Repair Tool