Lucie Matuova, Jan Kastil, Zdenek Kotásek. Automatic Construction of On-line Checking Circuits Based on Finite Automata. In 17th Euromicro Conference on Digital System Design, DSD 2014, Verona, Italy, August 27-29, 2014. pages 326-332, IEEE, 2014. [doi]
Abstract is missing.