%0 Conference Paper %1 conf/memocode/HolcombGKS12 %A Holcomb, Daniel E. %A Gotmanov, Alexander %A Kishinevsky, Michael %A Seshia, Sanjit A. %B MEMOCODE %D 2012 %I IEEE %K dblp %P 1-10 %T Compositional performance verification of NoC designs. %U http://dblp.uni-trier.de/db/conf/memocode/memocode2012.html#HolcombGKS12 %@ 978-1-4673-1314-8

@inproceedings{conf/memocode/HolcombGKS12, added-at = {2017-05-23T00:00:00.000+0200}, author = {Holcomb, Daniel E. and Gotmanov, Alexander and Kishinevsky, Michael and Seshia, Sanjit A.}, biburl = {https://www.bibsonomy.org/bibtex/204631c244a9035112acd149dbe2b9346/dblp}, booktitle = {MEMOCODE}, crossref = {conf/memocode/2012}, ee = {https://doi.org/10.1109/MEMCOD.2012.6292294}, interhash = {c54f4414075145aeb4c172aecf5d9c7b}, intrahash = {04631c244a9035112acd149dbe2b9346}, isbn = {978-1-4673-1314-8}, keywords = {dblp}, pages = {1-10}, publisher = {IEEE}, timestamp = {2019-10-17T12:53:45.000+0200}, title = {Compositional performance verification of NoC designs.}, url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2012.html#HolcombGKS12}, year = 2012 }