Techniques for Implicit State Enumeration of EFSMs

Cite this paper

@inproceedings{Kukula1998TechniquesFI, title={Techniques for Implicit State Enumeration of EFSMs}, author={James H. Kukula and Thomas R. Shiple and Adnan Aziz}, booktitle={FMCAD}, year={1998} }