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

OriginalspracheEnglisch
TitelProceedings of the Eighth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
Seiten91-105
PublikationsstatusVeröffentlicht - 2017
Peer-Review-StatusJa

Publikationsreihe

ReiheElectronic proceedings in theoretical computer science : EPTCS
Band256
ISSN2075-2180

Schlagworte

Schlagwörter

  • automata, storage, approximation