by ATVA 2004 (2004 Taipei, Taiwan)
It was our great pleasure to hold the 2nd International Symposium onAutomated Te- nology on Veri?cation and Analysis (ATVA) in Taipei, Taiwan, ROC, October 31– November3,2004.TheseriesofATVAmeeting…