Specification model and language HSL for digital systems
Frištacky, Norbert
;
Kacerik, Jozef
BEC'96 : the 5th Biennial Baltic Electronics Conference, October 7-11, 1996, Tallinn, Estonia : proceedings
1996
/
p. 133-136