@dblp

Implementation of Code Properties via Transducers.

, , , and . CIAA, volume 9705 of Lecture Notes in Computer Science, page 189-201. Springer, (2016)

Links and resources

Tags