%0 Journal Article %1 journals/ibmrd/KoernerWHSSWBTBEPTMS12 %A Koerner, Stefan %A Werner, Constantin %A Hess, Thomas %A Schulz, Philip %A Strasser, Markus %A Wagner, Sven %A Böhm, Harald %A Troester, Martin %A Bolte, Dirk %A Elfering, Herwig %A Pohl, Thomas %A Theurich, Klaus %A Miller, William H. %A Szwed, Peter %D 2012 %J IBM J. Res. Dev. %K dblp %N 1 %P 14 %T Firmware verification and simulation in IBM zEnterprise 196. %U http://dblp.uni-trier.de/db/journals/ibmrd/ibmrd56.html#KoernerWHSSWBTBEPTMS12 %V 56

@article{journals/ibmrd/KoernerWHSSWBTBEPTMS12, added-at = {2020-11-23T00:00:00.000+0100}, author = {Koerner, Stefan and Werner, Constantin and Hess, Thomas and Schulz, Philip and Strasser, Markus and Wagner, Sven and Böhm, Harald and Troester, Martin and Bolte, Dirk and Elfering, Herwig and Pohl, Thomas and Theurich, Klaus and Miller, William H. and Szwed, Peter}, biburl = {https://www.bibsonomy.org/bibtex/2da3d300d8d5c1f5b85ea7e5415feee01/dblp}, ee = {https://doi.org/10.1147/JRD.2011.2178566}, interhash = {1063c35d43ebeab5c8533df7eeb943ef}, intrahash = {da3d300d8d5c1f5b85ea7e5415feee01}, journal = {IBM J. Res. Dev.}, keywords = {dblp}, number = 1, pages = 14, timestamp = {2020-11-24T11:35:06.000+0100}, title = {Firmware verification and simulation in IBM zEnterprise 196.}, url = {http://dblp.uni-trier.de/db/journals/ibmrd/ibmrd56.html#KoernerWHSSWBTBEPTMS12}, volume = 56, year = 2012 }