Testing and Checking of Finite State Systems

Sorry, there's nothing here.

Cite this paper

@inproceedings{Yannakakis2002TestingAC, title={Testing and Checking of Finite State Systems}, author={Mihalis Yannakakis}, booktitle={LATIN}, year={2002} }