An Algorithmic Approach to Design Exploration - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal. An Algorithmic Approach to Design Exploration. In Lars-Henrik Eriksson, Peter A. Lindsay, editors, FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings. Volume 2391 of Lecture Notes in Computer Science, pages 146-162, Springer, 2002. [doi]

This author has not been identified. Look up 'Sharon Barner' in GoogleThis author has not been identified. Look up 'Shoham Ben-David' in GoogleThis author has not been identified. Look up 'Anna Gringauze' in GoogleThis author has not been identified. Look up 'Baruch Sterin' in GoogleThis author has not been identified. Look up 'Yaron Wolfsthal' in Google

runs on WebDSL