Correct Hardware Design and Verification Methods (CHARME)
13. CHARME 2005: Saarbrücken, Germany
Dominique Borrione, Wolfgang J. Paul (Eds.):
Correct Hardware Design and Verification Methods, 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings.
Lecture Notes in Computer Science 3725 Springer 2005, ISBN 3-540-29105-9
Contents BibTeX
12. CHARME 2003: L'Aquila, Italy
Daniel Geist, Enrico Tronci (Eds.):
Correct Hardware Design and Verification Methods, 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings.
Lecture Notes in Computer Science 2860 Springer 2003, ISBN 3-540-20363-X
Contents BibTeX
11. CHARME 2001: Livingston, Scotland, UK
Tiziana Margaria, Thomas F. Melham (Eds.):
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.
Lecture Notes in Computer Science 2144 Springer 2001, ISBN 3-540-42541-1
Contents BibTeX
10. CHARME 1999: Bad Herrenalp, Germany
Laurence Pierre, Thomas Kropf (Eds.):
Correct Hardware Design and Verification Methods, 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings.
Lecture Notes in Computer Science 1703 Springer 1999, ISBN 3-540-66559-5
Contents BibTeX
9. CHARME 1997: Montréal, Québec, Canada
Hon F. Li, David K. Probst (Eds.):
Advances in Hardware Design and Verification, IFIP WG 10.5 International Conference on Correct Hardware Design and Verification Methods, 16-18 October 1997, Montréal, Québec, Canada.
IFIP Conference Proceedings 105 Chapman & Hall 1997, ISBN 0-412-81330-0
Contents BibTeX
- CHARME 1997 Home Page
8. CHARME 1995: Frankfurt/Main, Germany
Paolo Camurati, Hans Eveking (Eds.):
Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt/Main, Germany, October 2-4, 1995, Proceedings.
Lecture Notes in Computer Science 987 Springer 1995, ISBN 3-540-60385-9
Contents BibTeX
7. CHARME 1993: Arles, France
George J. Milne, Laurence Pierre (Eds.):
Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME '93, Arles, France, May 24-26, 1993, Proceedings.
Lecture Notes in Computer Science 683 Springer 1993, ISBN 3-540-56778-X
Contents BibTeX
6. CHARME 1991: Torino, Italy
5. CHARME 1989: Leuven, Belgium
4. CHARME 1988: Glasgow, UK
3. CHARME 1986: Grenoble, France
2. CHARME 1985: Edinburgh, UK
1. CHARME 1984: Darmstadt, Germany
Copyright © Sat May 16 23:01:13 2009
by Michael Ley (ley@uni-trier.de)
