![Tree automaton / Finite-state machine / Automata theory / Theoretical computer science / Computer science Tree automaton / Finite-state machine / Automata theory / Theoretical computer science / Computer science](https://www.pdfsearch.io/img/85e075aa6d51feeddfed0a969c2755cd.jpg)
| Document Date: 2008-09-22 13:36:18 Open Document File Size: 201,35 KBShare Result on Facebook
IndustryTerm synthesis algorithm / Synthesis algorithms / automata-theoretic synthesis algorithms / automata-theoretic synthesis algorithm / automata-based synthesis algorithm / security protocols / / Organization German Research Foundation / Transregional Collaborative Research Center / / Person Bernd Finkbeiner Universit / Sven Schewe / / Position iff player / player / / PublishedMedium Complex Systems / / Technology automata-based synthesis algorithm / synthesis algorithm / security protocols / automata-theoretic synthesis algorithm / following algorithm / automata-theoretic synthesis algorithms / Synthesis algorithms / /
SocialTag |