Testing Finite State Machines (Extended Abstract)

Mihalis Yannakakis, David Lee. Testing Finite State Machines (Extended Abstract). In Proceedings of the Twenty Third Annual ACM Symposium on Theory of Computing, 6-8 May 1991, New Orleans, Louisiana, USA. pages 476-485, ACM, 1991.

Abstract

Abstract is missing.