%0 Journal Article %1 journals/ibmrd/SchubertAABBCCG18 %A Schubert, Klaus-Dieter %A Abrar, Syed Saif %A Averill, Duane %A Bauman, Ellen %A Brown, Aaron C. %A Cash, Ron %A Chatterjee, Debapriya %A Gullickson, John %A Nelson, Mark %A Pasnik, Kevin A. %A Sugavanam, Krishnan %D 2018 %J IBM Journal of Research and Development %K dblp %N 4/5 %P 11 %T Addressing verification challenges of heterogeneous systems based on IBM POWER9. %U http://dblp.uni-trier.de/db/journals/ibmrd/ibmrd62.html#SchubertAABBCCG18 %V 62

@article{journals/ibmrd/SchubertAABBCCG18, added-at = {2019-03-15T00:00:00.000+0100}, author = {Schubert, Klaus-Dieter and Abrar, Syed Saif and Averill, Duane and Bauman, Ellen and Brown, Aaron C. and Cash, Ron and Chatterjee, Debapriya and Gullickson, John and Nelson, Mark and Pasnik, Kevin A. and Sugavanam, Krishnan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/28c6ea7dbed1458337e3bc0ed46ac7784/dblp}, ee = {http://ieeexplore.ieee.org/document/8387435/}, interhash = {ad20bdd9b839e8464b98e30d0da13f50}, intrahash = {8c6ea7dbed1458337e3bc0ed46ac7784}, journal = {IBM Journal of Research and Development}, keywords = {dblp}, number = {4/5}, pages = 11, timestamp = {2019-09-27T07:24:05.000+0200}, title = {Addressing verification challenges of heterogeneous systems based on IBM POWER9.}, url = {http://dblp.uni-trier.de/db/journals/ibmrd/ibmrd62.html#SchubertAABBCCG18}, volume = 62, year = 2018 }