Efficient Contextual Unfolding - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

César Rodríguez, Stefan Schwoon, Paolo Baldan. Efficient Contextual Unfolding. In Joost-Pieter Katoen, Barbara König, editors, CONCUR 2011 - Concurrency Theory - 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings. Volume 6901 of Lecture Notes in Computer Science, pages 342-357, Springer, 2011. [doi]

This author has not been identified. Look up 'César Rodríguez' in GoogleThis author has not been identified. Look up 'Stefan Schwoon' in GoogleThis author has not been identified. Look up 'Paolo Baldan' in Google

runs on WebDSL