Partially Ordered Automata and Piecewise Testability

Research output: Contribution to journal › Research article › Contributed › peer-review

Contributors

Tomáš Masopust - , Palacký University Olomouc, Czech Academy of Sciences (Author)
Markus Krötzsch - , Chair of Knowledge-based Systems (Faculty of Computer Science), Chair of Knowledge-based Systems (cfaed) (Author)

Original language	English
Pages (from-to)	14:1–14:36
Journal	Logical methods in computer science
Volume	17
Issue number	2
Publication status	Published - 2021
Peer-reviewed	Yes

Scopus	85108388804