Automated Technology for Verification and Analysis 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings - ATVA 2011. 2011 : Taipei, Taiwan); Hsiung, Pao-Ann.; Bultan, Tevfik (Berlin, Heidelberg : Springer Berlin Heidelberg, 2011)
Keywords: Computer science; Computer Communication Networks; Software engineering; Logic design