{"version":"1.0","type":"rich","provider_name":"EbookNetworking","provider_url":"https://www.ebooknetworking.net","title":"Language-based Security for VHDL: A study on security properties for hardware specifications","author_name":"Terkel K. Tolstrup","thumbnail_url":"https://www.ebooknetworking.net/books/363/916/big3639160770.jpg","thumbnail_width":330,"thumbnail_height":500,"html":"<a href=\"https://www.ebooknetworking.net/books_detail-3639160770.html\">Language-based Security for VHDL: A study on security properties for hardware specifications</a>","width":400,"height":300}