Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Self-verifying pushdown automata.

NCMA. 2017 S. 103 - 117

Erscheinungsjahr: 2017

Publikationstyp: Buchbeitrag (Konferenzbeitrag)

Geprüft:Bibliothek

Autoren

Fernau, Henning (Autor)
Kutrib, Martin (Autor)
Wendlandt, Matthias (Autor)

Verknüpfte Personen

Henning Fernau

Beteiligte Einrichtungen

Logo Informatikwissenschaften