Login / Signup
Djamel Boussebha
Publication Activity (10 Years)
Years Active: 1992-1992
Publications (10 Years): 0
</>
Publications
</>
Djamel Boussebha
,
Norbert Giambiasi
,
Janine Magnier
Temporal verification of behavioral descriptions in VHDL.
EURO-DAC
(1992)