Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings

FARN WANG2020-06-042020-06-042004ISBN 3-540-23610-4https://scholars.lib.ntu.edu.tw/handle/123456789/497139Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedingsconference paper10.1007/b102065https://doi.org/10.1007/b102065