Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri. Symbolic Implementation of Alternating Automata. Int. J. Found. Comput. Sci., 18(4):727-743, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.