%0 Journal Article %1 journals/jsa/LinehanC12 %A Linehan, Éamonn %A Clarke, Siobhán %D 2012 %J Journal of Systems Architecture - Embedded Systems Design %K dblp %N 5 %P 195-208 %T An aspect-oriented, model-driven approach to functional hardware verification. %U http://dblp.uni-trier.de/db/journals/jsa/jsa58.html#LinehanC12 %V 58

@article{journals/jsa/LinehanC12, added-at = {2019-09-16T00:00:00.000+0200}, author = {Linehan, Éamonn and Clarke, Siobhán}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a076ac341d77910a84f736fe24550478/dblp}, ee = {https://doi.org/10.1016/j.sysarc.2011.02.001}, interhash = {612f736ad0d5cb4f61208caa288dc56d}, intrahash = {a076ac341d77910a84f736fe24550478}, journal = {Journal of Systems Architecture - Embedded Systems Design}, keywords = {dblp}, number = 5, pages = {195-208}, timestamp = {2019-09-27T12:07:48.000+0200}, title = {An aspect-oriented, model-driven approach to functional hardware verification.}, url = {http://dblp.uni-trier.de/db/journals/jsa/jsa58.html#LinehanC12}, volume = 58, year = 2012 }