![Nested word / Deterministic pushdown automaton / Pushdown automaton / Connection / Complementation of Büchi automaton / Automata theory / Theoretical computer science / Computer science Nested word / Deterministic pushdown automaton / Pushdown automaton / Connection / Complementation of Büchi automaton / Automata theory / Theoretical computer science / Computer science](https://www.pdfsearch.io/img/0fef51b5699015fcb4dda87cea114bbb.jpg)
| Document Date: 2013-02-13 07:24:13 Open Document File Size: 486,20 KBShare Result on Facebook
City Ramsey / The Ramsey / / Facility University of Kassel Abstract / B. Building / / IndustryTerm prototype tool / inclusion-checking algorithms / finitestate systems / presented algorithms / finite-state systems / software model checking / least solution / nested depth-first search / / Organization UNIV for VPAs / / Person Martin Lange / Felix Klaedtke / Ai / Oliver Friedmann / / / Technology resulting algorithm / so-called Ramsey-based inclusion-checking algorithms / so-called Ramseybased algorithms / presented algorithm / presented algorithms / 1 The Ramsey-based algorithms / /
SocialTag |