Skip to Main content Skip to Navigation
Conference papers

BHDL: circuit design in B

Document type :
Conference papers
Complete list of metadata

https://hal-univ-artois.archives-ouvertes.fr/hal-03526474
Contributor : ammar Aljer Connect in order to contact the contributor
Submitted on : Friday, January 14, 2022 - 2:57:08 PM
Last modification on : Tuesday, January 18, 2022 - 5:50:03 PM

Identifiers

Collections

Citation

A. Aljer, P. Devienne, S. Tison, J.-L. Boulanger, G. Mariano. BHDL: circuit design in B. International Conference on Application of Concurrency to System Design (ACSD'2003), 2003, Guimaraes, France. pp.241-242, ⟨10.1109/csd.2003.1207723⟩. ⟨hal-03526474⟩

Share

Metrics

Record views

7