Approximation of Weighted Automata with Storage - Electronic Proceedings in Theoretical Computer Science
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Details
Originalsprache | Englisch |
---|---|
Titel | Proceedings of the Eighth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September |
Seiten | 91-105 |
Publikationsstatus | Veröffentlicht - 2017 |
Peer-Review-Status | Ja |
Publikationsreihe
Reihe | Electronic Proceedings in Theoretical Computer Science, EPTCS |
---|---|
Band | 256 |
ISSN | 2075-2180 |
Schlagworte
Schlagwörter
- automata, storage, approximation