![](/img/cover-not-exists.png)
Profile trees for Büchi word automata, with application to determinization
Fogarty, Seth, Kupferman, Orna, Vardi, Moshe Y., Wilke, ThomasVolume:
245
Language:
english
Journal:
Information and Computation
DOI:
10.1016/j.ic.2014.12.021
Date:
December, 2015
File:
PDF, 650 KB
english, 2015