TY  - BOOK
AU  - Namjoshi, Kedar S.
TI  - Automated Technology For Verification And Analysis; Second International Conference, ATVA 2004 Taipei Taiwan ROC October 31-November 3 2004 : proceeding
SN  - 9783540755951
U1  - AUT 
PY  - 2007///
CY  - New York
PB  - Springer
KW  - Japanese Language
ER  -