Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Self-verifying pushdown automata.

NCMA. 2017 S. 103 - 117

Erscheinungsjahr: 2017

Publikationstyp: Zeitschriftenaufsatz

GeprüftBibliothek

Autoren


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

Verknüpfte Personen


Beteiligte Einrichtungen