WorldCat Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/833010

Financial cryptography 7th International Conference, FC 2003, Guadeloupe, French West Indies, January 27-30, 2003 : revised papers

This book constitutes the refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003. The 32 revised full papers and 9 tool papers presented were carefully reviewed and selected from a total of 102 submissions. The papers are organized in topical sections on bounded model checking; symbolic model checking; games, trees, and counters; tools; abstraction; dense time; infinite state systems; applications; theorem proving; automata-based verification; invariants; and explicit model checking.

Open All Close All

type

about

http://schema.org/about

alternateName

http://schema.org/alternateName

  • "Financial Cryptography Conference"
  • "FC 2003"

contributor

creator

description

http://schema.org/description

  • "This book constitutes the refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003. The 32 revised full papers and 9 tool papers presented were carefully reviewed and selected from a total of 102 submissions. The papers are organized in topical sections on bounded model checking; symbolic model checking; games, trees, and counters; tools; abstraction; dense time; infinite state systems; applications; theorem proving; automata-based verification; invariants; and explicit model checking."@en
  • "This book constitutesthe thoroughly refereed postproceedings of the 7th International Conference on Financial Cryptography, FC 2003, held in Guadeloupe, French West Indies, in January 2003. The 17 revised full papers presented together with 5 panel position papers were carefully reviewed and selected from 54 submissions. The papers are organized in topical sections on micropayment an e- cash; security, anonymity, and privacy; attacks; fair exchange; auctions; and cryptographic tools and primitives."
  • "This book constitutes the thoroughly refereed postproceedings of the 7th International Conference on Financial Cryptography, FC 2003, held in Guadeloupe, French West Indies, in January 2003. The 17 revised full papers presented together with 5 panel position papers were carefully reviewed and selected from 54 submissions. The papers are organized in topical sections on micropayment and e-cash; security, anonymity, and privacy; attacks; fair exchange; auctions; and cryptographic tools and primitives."

editor

genre

http://schema.org/genre

  • "Conference papers and proceedings"
  • "Conference papers and proceedings"@en
  • "Conference proceedings"
  • "Kongress"
  • "Guadeloupe (2003)"
  • "Electronic books"
  • "Electronic books"@en
  • "Online-Publikation"

name

http://schema.org/name

  • "Financial Cryptography 7th International Conference, FC 2003, Guadeloupe, French West Indies, January 27-30, 2003. Revised Papers"
  • "Financial Cryptography 7th International Conference, FC 2003, Guadeloupe, French West Indies, January 27-30, 2003: Revised Papers"
  • "Financial cryptography 7th International Conference, FC 2003, Guadeloupe, French West Indies, January 27-30, 2003 ; revised papers"
  • "Financial cryptography 7th international conference, FC 2003, Guadeloupe, French West Indies, January 27-30, 2003 : revised papers"
  • "Financial cryptography : 7th international conference : revised papers"
  • "Financial cryptography : 7th International Conference, FC 2003, Guadeloupe, French West Indies, January 27-30, 2003 : revised papers"
  • "Financial cryptography : 7th International Conference, FC 2003, [Gosier], Guadeloupe, French West Indies, January 27 - 30, 2003; revised papers"
  • "Financial Cryptography : 7th International Conference, FC 2003, Guadeloupe, French West Indies, January 27-30, 2003 : revised papers"
  • "Financial cryptography 7th International Conference, FC 2003, Guadeloupe, French West Indies, January 27-30, 2003 : revised papers"
  • "Financial cryptography 7th International Conference, FC 2003, Guadeloupe, French West Indies, January 27-30, 2003 : revised papers"@en
  • "Financial cryptography 7th international conference ; revised papers"
  • "Financial cryptography : 7th international conference, FC 2003, Guadeloupe, French West Indies, January 27-30, 2003 : revised papers"

workExample