Enriched µ-Calculus Pushdown Module Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alessandro Ferrante, Aniello Murano, Mimmo Parente. Enriched µ-Calculus Pushdown Module Checking. In Nachum Dershowitz, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings. Volume 4790 of Lecture Notes in Computer Science, pages 438-453, Springer, 2007. [doi]

This author has not been identified. Look up 'Alessandro Ferrante' in GoogleThis author has not been identified. Look up 'Aniello Murano' in GoogleThis author has not been identified. Look up 'Mimmo Parente' in Google

runs on WebDSL