Weiter zum Inhalt Weiter zur Fußzeile

Forschungsportal der TU Dresden

Partially Ordered Automata and Piecewise Testability

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

Beitragende

Tomáš Masopust - , Professur für Wissensbasierte Systeme (Fakultät Informatik), Professur für Wissensbasierte Systeme (cfaed), Professur für Automatentheorie (Autor:in)
Markus Krötzsch - , Professur für Wissensbasierte Systeme (Fakultät Informatik), Professur für Wissensbasierte Systeme (cfaed), Professur für Automatentheorie (Autor:in)

Details

Originalsprache	Englisch
Fachzeitschrift	Logical methods in computer science
Jahrgang	17
Ausgabenummer	2
Publikationsstatus	Veröffentlicht - 2021
Peer-Review-Status	Ja

Externe IDs

Scopus	85108388804

Schlagworte