3 citations · 7 across the 10 of their papers we have counts for
1 paper · 1 filter
Cong Tian, Zhenhua Duan
By separating the principal acceptance mechanism from the concrete acceptance condition of a given Büchi automaton with n states,Schewe presented the construction of an equivalen…