Synchronization of Deterministic Visibly Push-Down Automata.
FSTTCS. 2020 S. 45:1 - 45:15
Erscheinungsjahr: 2020
Publikationstyp: Buchbeitrag (Konferenzbeitrag)
Doi/URN: 10.4230/LIPIcs.FSTTCS.2020.45
| Geprüft: | Bibliothek |
FSTTCS. 2020 S. 45:1 - 45:15
Erscheinungsjahr: 2020
Publikationstyp: Buchbeitrag (Konferenzbeitrag)
Doi/URN: 10.4230/LIPIcs.FSTTCS.2020.45
| Geprüft: | Bibliothek |