Automatic Construction of On-line Checking Circuits Based on Finite Automata.

Lucie Matuova, Jan Kastil, Zdenek Kotsek

Browse the full DSD paper archive.