![Computer science / Büchi automaton / Linear temporal logic / Symbol / Complementation of Büchi automaton / Automata theory / Theoretical computer science / Formal methods Computer science / Büchi automaton / Linear temporal logic / Symbol / Complementation of Büchi automaton / Automata theory / Theoretical computer science / Formal methods](https://www.pdfsearch.io/img/b51bd9ea2e2e3d3918b5a0ec8ff4f3c6.jpg)
| Document Date: 2014-06-27 10:56:07 Open Document File Size: 350,60 KBShare Result on Facebook
City Madrid / / Country Spain / / / Facility C´esar S´anchez IMDEA Software Institute / Juli´an Samborski-Forlese IMDEA Software Institute / / IndustryTerm finite state systems / faster algorithms / / Organization Juli´an Samborski-Forlese IMDEA Software Institute / esar S´anchez IMDEA Software Institute / Institute for Information Security / / Person Hj / / Position coB / / ProgrammingLanguage C / / Technology two algorithms / /
SocialTag |