Specification model and language HSL for digital systems

author
Frištacky, Norbert
Kacerik, Jozef
statement of authorship
Norbert Frištacky, Jozef Kacerik
location of publication
[Tallinn]
year of publication
pages
p. 133-136
ISBN
9985-59-026-0
notes
Bibl. 9 ref