Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}