%0 Journal Article %1 journals/todaes/Sen11 %A Sen, Alper %D 2011 %J ACM Trans. Design Autom. Electr. Syst. %K dblp %N 4 %P 37:1-37:25 %T Concurrency-oriented verification and coverage of system-level designs. %U http://dblp.uni-trier.de/db/journals/todaes/todaes16.html#Sen11 %V 16

@article{journals/todaes/Sen11, added-at = {2018-11-06T00:00:00.000+0100}, author = {Sen, Alper}, biburl = {https://www.bibsonomy.org/bibtex/21b68f8addcc5b31ac0fb753eb93e4caa/dblp}, ee = {https://doi.org/10.1145/2003695.2003697}, interhash = {c329e3ca720274aec8318b982ab12772}, intrahash = {1b68f8addcc5b31ac0fb753eb93e4caa}, journal = {ACM Trans. Design Autom. Electr. Syst.}, keywords = {dblp}, number = 4, pages = {37:1-37:25}, timestamp = {2018-11-07T12:24:01.000+0100}, title = {Concurrency-oriented verification and coverage of system-level designs.}, url = {http://dblp.uni-trier.de/db/journals/todaes/todaes16.html#Sen11}, volume = 16, year = 2011 }