Asynchronous multi-process timed automata
Li, Guoqiang ; Liu, Li ; Fukuda, Akira
- Link zu diesem Datensatz
- https://d-nb.info/1140265857
- Titel
- Asynchronous multi-process timed automata
- Art des Inhalts
- Teil eines Werks
- Verfassangaben
- by Guoqiang Li, Li Liu, Akira Fukuda
- Autor(en)
-
- Li, Guoqiang
- Liu, Li
- Fukuda, Akira
- Organisation(en)
-
- SpringerLink (Online service)
- Zeitliche Einordnung
- Erscheinungsdatum: 2017
- Umfang/Format
- Online-Ressource
- ISSN
15731367- DOI
- 10.1007/s11219-017-9380-8
- Online
- https://doi.org/10.1007/s11219-017-9380-8
- Sprache
- eng
- Schlagwörter
-
- (lcsh)Computer science.
- (lcsh)Software engineering.
- (lcsh)Programming languages (Electronic computers).
- (lcsh)Operating systems (Computers).
- (lcsh)Data structures (Computer science).
- Computer Science.
- Software Engineering/Programming and Operating Systems.
- Programming Languages, Compilers, Interpreters.
- Data Structures, Cryptology and Information Theory.
- Operating Systems.
- Frühere/spätere Titel
-
- Enthalten in: Software quality journal
- Enthalten in: Software quality journal
- Enthalten in: Software quality journal
- Stand
- 21.02.2020 17:15
- Im Katalog seit
- 06.03.2026