skip to main content
Language:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Simple Search
Refined by: author/creator: Berry, G remove author/creator: CAV (Conference) remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computer aided verification 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings
Computer aided verification 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings
Material Type:
Book 		Add to e-Shelf

Computer aided verification 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings

CAV (Conference) (13th 2001 Paris) Hubert Comon; Gérard Berry 1948-; A Finkel

Berlin Springer 2001

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

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Suggested New Searches

Ignore my query and look for everything

by this author/creator:

  1. Comon, H
  2. Finkel, A
  3. CAV (Conference)
  4. Berry, G

on this subject:

  1. Computer Software
  2. Teoria Da Computação
  3. Verificação E Validação De Software
  4. Integrated Circuits

  • 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