Funder
European Regional Development Fund
Portuguese Government
MIUR
Subject
General Computer Science,Theoretical Computer Science
Reference18 articles.
1. Learning minimal separating DFA's for compositional verification;Chen,2009
2. Finite automata and unary languages;Chrobak;Theoret. Comput. Sci.,1986
3. The state reduction of nondeterministic finite-state machines;Damiani;IEEE Trans. Comput.,1997
4. Don't care words with an application to the automata-based approach for real addition;Eisinger;Form. Methods Syst. Des.,2008
5. Chrobak normal form revisited, with applications;Gawrychowski,2011
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献