SpringerLink (Online service) & Grimm, C. (2004). Languages for System Specification: Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL’03. Springer US.
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service) και Christoph Grimm. Languages for System Specification: Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL’03. Boston, MA: Springer US, 2004.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service) και Christoph Grimm. Languages for System Specification: Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL’03. Springer US, 2004.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.