%0 Conference Paper %1 conf/glvlsi/BoratenDK16 %A Boraten, Travis %A DiTomaso, Dominic %A Kodi, Avinash Karanth %B ACM Great Lakes Symposium on VLSI %D 2016 %E Coskun, Ayse K. %E Margala, Martin %E Behjat, Laleh %E Han, Jie %I ACM %K dblp %P 45-50 %T Secure Model Checkers for Network-on-Chip (NoC) Architectures. %U http://dblp.uni-trier.de/db/conf/glvlsi/glvlsi2016.html#BoratenDK16 %@ 978-1-4503-4274-2

@inproceedings{conf/glvlsi/BoratenDK16, added-at = {2018-11-06T00:00:00.000+0100}, author = {Boraten, Travis and DiTomaso, Dominic and Kodi, Avinash Karanth}, biburl = {https://www.bibsonomy.org/bibtex/20b619513be8a00d348d07ca71de051a5/dblp}, booktitle = {ACM Great Lakes Symposium on VLSI}, crossref = {conf/glvlsi/2016}, editor = {Coskun, Ayse K. and Margala, Martin and Behjat, Laleh and Han, Jie}, ee = {https://doi.org/10.1145/2902961.2903032}, interhash = {b514200dee77222c6d9d4835a9fe8208}, intrahash = {0b619513be8a00d348d07ca71de051a5}, isbn = {978-1-4503-4274-2}, keywords = {dblp}, pages = {45-50}, publisher = {ACM}, timestamp = {2024-04-09T22:51:45.000+0200}, title = {Secure Model Checkers for Network-on-Chip (NoC) Architectures.}, url = {http://dblp.uni-trier.de/db/conf/glvlsi/glvlsi2016.html#BoratenDK16}, year = 2016 }