<?xml version="1.0"?>
<dblp>
<inproceedings key="conf/acsd/AljerDTBM03" mdate="2003-09-01">
<author>Ammar Aljer</author>
<author>Philippe Devienne</author>
<author>Sophie Tison</author>
<author>Jean-Louis Boulanger</author>
<author>Georges Mariano</author>
<title>BHDL: Circuit Design in B.</title>
<pages>241-242</pages>
<year>2003</year>
<crossref>conf/acsd/2003</crossref>
<booktitle>ACSD</booktitle>
<ee>http://csdl.computer.org/comp/proceedings/acsd/2003/1887/00/18870241.pdf</ee>
<url>db/conf/acsd/acsd2003.html#AljerDTBM03</url>
</inproceedings>
</dblp>
