TY  - BOOK
AU  - Peled,Doron A.
AU  - Tsay,Yih-Kuen
ED  - ATVA 2005
ED  - SpringerLink (Online service)
TI  - Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
SN  - 9783540319696 (electronic bk.)
U1  - 006.3 22
PY  - 2005///
CY  - Berlin Heidelberg
PB  - Springer-Verlag GmbH.
KW  - Automatic theorem proving
KW  - Congresses
KW  - Computer Science
UR  - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/11562948
ER  -