%0 Journal Article %1 journals/tecs/ParikhB14 %A Parikh, Ritesh %A Bertacco, Valeria %D 2014 %J ACM Trans. Embed. Comput. Syst. %K dblp %N 3s %P 104:1-104:30 %T ForEVeR: A complementary formal and runtime verification approach to correct NoC functionality. %U http://dblp.uni-trier.de/db/journals/tecs/tecs13.html#ParikhB14 %V 13

@article{journals/tecs/ParikhB14, added-at = {2020-09-08T00:00:00.000+0200}, author = {Parikh, Ritesh and Bertacco, Valeria}, biburl = {https://www.bibsonomy.org/bibtex/263589728a4a4cc54286593c3451ffde2/dblp}, ee = {https://doi.org/10.1145/2514871}, interhash = {fa3d0125707f4c476a918e33ca61efec}, intrahash = {63589728a4a4cc54286593c3451ffde2}, journal = {ACM Trans. Embed. Comput. Syst.}, keywords = {dblp}, number = {3s}, pages = {104:1-104:30}, timestamp = {2020-09-09T12:41:19.000+0200}, title = {ForEVeR: A complementary formal and runtime verification approach to correct NoC functionality.}, url = {http://dblp.uni-trier.de/db/journals/tecs/tecs13.html#ParikhB14}, volume = 13, year = 2014 }