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. Springer 2005 Lecture Notes in Computer Science 3725 ISBN 3-540-29105-9 [ contents ]
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. Springer 2003 Lecture Notes in Computer Science 2860 ISBN 3-540-20363-X [ contents ]
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. Springer 2001 Lecture Notes in Computer Science 2144 ISBN 3-540-42541-1 [ contents ]
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. Springer 1999 Lecture Notes in Computer Science 1703 ISBN 3-540-66559-5 [ contents ]
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. Chapman & Hall 1997 IFIP Conference Proceedings 105 ISBN 0-412-81330-0 [ contents ]
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. Springer 1995 Lecture Notes in Computer Science 987 ISBN 3-540-60385-9 [ contents ]
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. Springer 1993 Lecture Notes in Computer Science 683 ISBN 3-540-56778-X [ contents ]
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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team