Search - IFIP Open Digital Library Access content directly

Filter your results

1 Array
Author: personID (integer) : 1022739
Image document

Unary Self-verifying Symmetric Difference Automata

Laurette Marais , Lynette Van Zijl
18th International Workshop on Descriptional Complexity of Formal Systems (DCFS), Jul 2016, Bucharest, Romania. pp.180-191, ⟨10.1007/978-3-319-41114-9_14⟩
Conference papers hal-01633957v1