skip to main content
Language:

Automated technology for verification and analysis, second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004 ; proceedings

Farn Wang; ATVA 2004 (2 2004.10.31-11.03 Taipei); International Symposium on Automated Technology on Verification and Analysis (2 2004.10.31-11.03 Taipei)

Berlin u.a. Springer 2004

Available at ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.3299 ) and other locations(GetIt)

Back to results list
Go to Previous pagePrevious Result  5 NextGo to Next page

  • Implemented by: ABCD-USP USP   Social Network Logos: Freepik

Searching Remote Databases, Please Wait

  • Searching for
  • inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Show me what you have so far