Converting a büchi alternating automaton to a usual nondeterministic one
Amar IsliVolume:
21
Language:
english
Pages:
16
DOI:
10.1007/bf02745520
Date:
April, 1996
File:
PDF, 740 KB
english, 1996