Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings
Resource Information
The work Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings represents a distinct intellectual or artistic creation found in University of Missouri Libraries. This resource is a combination of several types including: Work, Language Material, Books, http://bibfra.me/vocab/marc/conference-publication.
The Resource
Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings
Resource Information
The work Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings represents a distinct intellectual or artistic creation found in University of Missouri Libraries. This resource is a combination of several types including: Work, Language Material, Books, http://bibfra.me/vocab/marc/conference-publication.
- Label
- Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings
- Title remainder
- 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings
- Statement of responsibility
- Gérard Berry, Hubert Comon, Alain Finkel (eds.)
- Title variation
- CAV 2001
- Subject
-
- Computer software -- Verification
- Computer software -- Verification -- Congresses
- Conference papers and proceedings
- Conference papers and proceedings
- Integrated circuits -- Verification
- Integrated circuits -- Verification
- Integrated circuits -- Verification -- Congresses
- Computer software -- Verification
- Language
- eng
- Summary
- This book constitutes the refereed proceedings of the 13th International Conference on Computer Aided Verification, CAV 2001, held in Paris, France in July 2001. The 33 revised full papers presented were carefully reviewed and selected from 106 regular paper submissions; also included are 13 reviewed tool presentations selected from 27 submissions. The book offers topical sections on model checking and theorem proving, automata techniques, verification core technology, BDD and decision trees, abstraction and refinement, combinations, infinite state systems, temporal logics and verification, microprocessor verification and cache coherence, SAT and applications, and timed automata
- Cataloging source
- CUT
- Dewey number
- 004.24
- Index
- index present
- LC call number
- QA76.76.V47
- LC item number
- C38 2001eb
- Literary form
- non fiction
- Nature of contents
-
- dictionaries
- bibliography
- Series statement
-
- Lecture notes in computer science,
- Lecture notes in computer science. Lecture notes in artificial intelligence
- Series volume
- 2102
Context
Context of Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedingsWork of
No resources found
No enriched resources found
- Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings, Gérard Berry, Hubert Comon, Alain Finkel (eds.)
- Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings, Gérard Berry, Hubert Comon, Alain Finkel (eds.)
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/1Hnk1tfaVms/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/1Hnk1tfaVms/">Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Work Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/1Hnk1tfaVms/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/1Hnk1tfaVms/">Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>