Nondeterministic automata: Equivalence, bisimulations, and uniform relations

Autor:	Ćirić, Miroslav, Ignjatović, Jelena, Bašić, Milan, Jančić, Ivana
Zdroj:	In Information Sciences 10 March 2014 261:185-218
Databáze:	ScienceDirect
Externí odkaz:	Zobrazit plný text záznamu Full Text from ScienceDirect