Mihalis Yannakakis (auth.)

Showing the single result

{PDF} Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings Mihalis Yannakakis (auth.), Susanne Graf, Wenhui Zhang (eds.)