dblp.uni-trier.de www.uni-trier.de

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

9. CHARME 1997: Montréal, Québec, Canada

Hon Fung 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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - 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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 © Fri Mar 12 17:07:38 2010 by Michael Ley (ley@uni-trier.de)