[ACM Press the 30th international - Dallas, Texas, United States (1993.06.14-1993.06.18)] Proceedings of the 30th international on Design automation conference - DAC '93 - Minimum length synchronizing sequences of finite state machine
Rho, June-Kyung, Somenzi, Fabio, Pixley, CarlYear:
1993
Language:
english
DOI:
10.1145/157485.164978
File:
PDF, 525 KB
english, 1993