Symposium on decision problems: On a decision method in restricted second order arithmetic, Logic, Methodology and Philosophy of Science Proceeding of the 1960 International Congress of Studies in Logic and the Foundations of Mathematics, pp.1-11, 1960. ,
Sets of numbers dened by nite automata, American Mathematical Monthly, vol.74, p.539542, 1967. ,
From complementation to certication, 10th TACAS, p.591606, 2004. ,
Computer aided verication of coodinating process, 1994. ,
Decision problems for omega-automata, Mathematical Systems Theory, vol.3, issue.4, p.376384, 1969. ,
Finite acceptance of innite words, Theor. Comput. Sci, vol.174, issue.12, p.121, 1997. ,
Accepting conditions for automata on ?languages, Theor. Comput. Sci, vol.61, p.137147, 1988. ,
Innite sequences and nite machines, Proceedings of the 1963 Proceedings of the Fourth Annual Symposium on Switching Circuit Theory and Logical Design, SWCT '63, p.316, 1963. ,
Innite words, automata, semigroups, logic and games, Pure and Applied Mathematics, vol.141, 2004. ,
Automatentheoretische und automatenfreie charakterisierungen topologischer klassen regulärer folgenmengen, Elektronische Informationsverarbeitung und Kybernetik, vol.10, issue.7, p.379392, 1974. ,
Automata on innite objects Handbook of Theoretical Computer Science, volume B (Formal models and semantics, p.135191, 1990. ,
The Büchi complementation saga, STACS 2007, p.1222, 2007. ,
On ??-regular sets, Information and Control, vol.43, issue.2, pp.123-177, 1979. ,
DOI : 10.1016/S0019-9958(79)90653-3