11th Advanced Research Working Conference
on Correct Hardware Design and Verification Methods

4-7 September 2001
Institute for System Level Integration
Livingston, Scotland.

Proceedings

LNCS 2144

The proceedings of the conference is published as volume 2144 in the Springer-Verlag Lecture Notes in Computer Science series. This is available online on Springer's web page for LNCS Volume 2144.

The bibtex entry for the proceedings is: 

  @proceedings{CHARME2001,
      EDITOR    = {T. Margaria and T. Melham},
      TITLE     = {Correct Hardware Design and Verification Methods: 
                   11th {IFIP} {WG10.5} Advanced Research Working Conference,
                   {CHARME} 2001: {L}ivingston, {S}cotland, {UK}, 
                   {S}eptember 4--7 1002: Proceedings},
      BOOKTITLE = {Correct Hardware Design and Verification Methods: 
                   11th {IFIP} {WG10.5} Advanced Research Working Conference,
                   {CHARME} 2001: {L}ivingston, {S}cotland, {UK}, 
                   {S}eptember 4--7 1002: Proceedings},
      PUBLISHER = {Springer-Verlag},
      YEAR      = {2001},
      SERIES    = {Lecture Notes in Computer Science},
      VOLUME    = {2144},
      ISBN      = {3-540-42541-1}}