LeeYan-IEEE-96

@article{LeeYan-IEEE-96,
title = {Principles and methods of testing finite state machines -- a survey},
author = {David Lee and Mihalis Yannakakis},
journal = {Proc. IEEE},
publisher = {IEEE},
volume = {84},
number = {8},
pages = {1090--1123},
year = {1996}}

Fano Experimental Web Server, D. Eppstein, School of Information & Computer Science, UC Irvine
Made on a Mac Valid XHTML 1.0!