DMCA

Mechanizing the powerset construction for restricted classes of ω-automata (2007)

by Christian Dax , Jochen Eisinger , Felix Klaedtke
Venue:Tech. Rep. 228, Institut für Informatik, Albert-Ludwigs-Universität Freiburg
Citations:12 - 1 self