Finite state machine synthesis with concurrent error detection.

Chaohuang Zeng, Nirmal R. Saxena, Edward J. McCluskey

Browse the full ITC paper archive.