BibTeX records: Joerg Walter

download as .bib file

@article{DBLP:journals/ibmrd/BairGWKSMLWWMVAHRH04,
  author       = {Dean G. Bair and
                  Steven M. German and
                  William D. Wollyung and
                  Edward J. Kaminski Jr. and
                  James Schafer and
                  Michael P. Mullen and
                  William J. Lewis and
                  Rebecca Wisniewski and
                  Joerg Walter and
                  Steven Mittermaier and
                  Visda Vokhshoori and
                  Robert J. Adkins and
                  Michael Halas and
                  Thomas Ruane and
                  Ursel Hahn},
  title        = {Functional verification of the z990 superscalar, multibook microprocessor
                  complex},
  journal      = {{IBM} J. Res. Dev.},
  volume       = {48},
  number       = {3-4},
  pages        = {347--366},
  year         = {2004}
}
@inproceedings{DBLP:conf/iccd/Walter02,
  author       = {Joerg Walter},
  title        = {Functional Verification of the {IBM} zSeries eServer z900 System},
  booktitle    = {{ICCD}},
  pages        = {17},
  publisher    = {{IEEE} Computer Society},
  year         = {2002}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics