Techniques for Implicit State Enumeration of EFSMs.

James H. Kukula, Thomas R. Shiple, Adnan Aziz

Browse the full FMCAD paper archive.