Testing finite state machines
| Authored By: | M. Yannakakis and D. Lee |
| Paper Title: | Testing finite state machines |
| Book/Journal Title: | Proc. of the 23rd Symposium on Theory of Computing |
| Publisher: | ACM Press, New York, NY |
| Publication Date: | 1991 |
| Pages: | 476-485 |