Library of Academia Sinica


  Request Verification

Requesting Tools and algorithms for the construction and analysis of systems : 14th international conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings / C.R. Ramakrishnan, Jakob Rehof (eds.)

Requesting Tools and algorithms for the construction and analysis of systems : 14th international conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings / C.R. Ramakrishnan, Jakob Rehof (eds.)
Please enter the following information:
For example, type "Jane Smith" and then press the RETURN key.
例如, 輸入 "A123456789", 然後按 RETURN 鍵.

Start Over


This site best viewed with IE7.0、FireFox2.0、Safari3.1.1、Opera9.27 @1024*768