Weak Muller Acceptance Conditions for Tree Automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Salvatore La Torre, Aniello Murano, Margherita Napoli. Weak Muller Acceptance Conditions for Tree Automata. In Agostino Cortesi, editor, Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers. Volume 2294 of Lecture Notes in Computer Science, pages 240-254, Springer, 2002. [doi]

This author has not been identified. Look up 'Salvatore La Torre' in GoogleThis author has not been identified. Look up 'Aniello Murano' in GoogleThis author has not been identified. Look up 'Margherita Napoli' in Google

runs on WebDSL