%0 Conference Paper %1 conf/dac/MalikS16 %A Malik, Sharad %A Subramanyan, Pramod %B DAC %D 2016 %I ACM %K dblp %P 66:1-66:6 %T Invited - Specification and modeling for systems-on-chip security verification. %U http://dblp.uni-trier.de/db/conf/dac/dac2016.html#MalikS16 %@ 978-1-4503-4236-0

@inproceedings{conf/dac/MalikS16, added-at = {2023-09-30T00:00:00.000+0200}, author = {Malik, Sharad and Subramanyan, Pramod}, biburl = {https://www.bibsonomy.org/bibtex/22ea8ae2d8cef684af4accc55414217a1/dblp}, booktitle = {DAC}, crossref = {conf/dac/2016}, ee = {https://doi.org/10.1145/2897937.2911991}, interhash = {144140ef424f674d9a1d66b9b5f221e3}, intrahash = {2ea8ae2d8cef684af4accc55414217a1}, isbn = {978-1-4503-4236-0}, keywords = {dblp}, pages = {66:1-66:6}, publisher = {ACM}, timestamp = {2024-04-10T06:55:10.000+0200}, title = {Invited - Specification and modeling for systems-on-chip security verification.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2016.html#MalikS16}, year = 2016 }