DMCA

Profile Trees for Büchi Word Automata, with Application to determinization (2013)

by Seth Fogarty , Orna Kupferman , Moshe Y. Vardi , Thomas Wilke
Citations:1 - 1 self