![Applied mathematics / Tree automaton / Finite-state machine / Alternating finite automaton / Powerset construction / Formal language / Muller automaton / Automata theory / Theoretical computer science / Computer science Applied mathematics / Tree automaton / Finite-state machine / Alternating finite automaton / Powerset construction / Formal language / Muller automaton / Automata theory / Theoretical computer science / Computer science](https://www.pdfsearch.io/img/aa0951dd338a5e0ce285720ec921f3f7.jpg)
| Document Date: 2008-09-29 06:47:38 Open Document File Size: 272,18 KBShare Result on Facebook
IndustryTerm important tools / reactive systems / correct systems / / Organization X\Z / Computer Science Department / / Person Thomas von Bomhard / Sven Schewe / Rabin / Bernd Finkbeiner / / Position Supervisor / Advisor / / Technology simulation / /
SocialTag |