Hosam AboElFotoh, Osman Abou-Rabia, Hasan Ural. A test generation algorithm for systems modelled as non-deterministic FSMs. IEE Proceedings - Software, 8(4):184-188, 1993. [doi]
No references recorded for this publication.
No citations of this publication recorded.