Documents Languages of nested trees Swarat Chaudhuri University of Pennsylvania (with Rajeev Alur and P....

Languages of nested trees Swarat Chaudhuri University of Pennsylvania (with Rajeev Alur and P. Madhusudan) Automata-theoretic, branching-time model-checking Abstraction (FSM,…

Documents Languages of nested trees

Languages of nested trees Swarat Chaudhuri University of Pennsylvania (with Rajeev Alur and P. Madhusudan) Automata-theoretic, branching-time model-checking Abstraction (FSM,…