TY  - BOOK
TI  - Specification, Verification and Design Languages, FDL, Forum on
PB  - IEEE
KW  - Communication
KW  - Computing and Processing
KW  - Networking and Broadcast Technologies
KW  - Signal Processing and Analysis
N1  - Conference
UR  - https://ieeexplore.ieee.org/servlet/opac?punumber=1002473
ER  -