@proceedings{DBLP:conf/charme/2001,
  booktitle = "Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, Proceedings",
  editor = "Tiziana Margaria and Thomas F. Melham",
  isbn = "3-540-42541-1",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  title = "Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, Proceedings",
  volume = "2144",
  year = "2001",
}