For advanced search options you can also view this in the Forschungsinformationssystem of the TU Dresden.

Denkinger, Tobias
Approximation of Weighted Automata with Storage
Typ der Veröffentlichung
Konferenzbeitrag
Veröffentlicht in
Proceedings of the 8th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2017)
Schlagwörter
automata, storage, approximation
Jahrgang/Erscheinungsjahr
2017
Reihe
Electronic Proceedings in Theoretical Computer Science
Band/Vol.
256
Referiert
Ja
Open Access
Nein
Berichtsjahr
2017
Export
Stand: 12.10.2017 16:02 Uhr