Generalizing the DS-Methods for testing non-deterministic FSMs
Alexandre Petrenko Adenilso da Silva Simão
The Computer Journal: Section A: Computer Science Theory, Methods and Tools London : The British Computer Society v. 58, n. 7, p. 1656-1672, 2015London 2015
Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2659212 )(Acessar)