| |
| 1999 | ||
|---|---|---|
| 2 | EE | Thomas Buechner, Rolf Fritz, Peter Guenther, Markus M. Helms, Kirk D. Lamb, Manfred Loew, Thomas Schlipf, Manfred H. Walz: Event monitoring in highly complex hardware systems. IBM Journal of Research and Development 43(5): 889-898 (1999) |
| 1997 | ||
| 1 | EE | Thomas Schlipf, Thomas Buechner, Rolf Fritz, Markus M. Helms, Juergen Koehl: Formal verification made easy. IBM Journal of Research and Development 41(4&5): 567-576 (1997) |
| 1 | Thomas Buechner | [1] [2] |
| 2 | Peter Guenther | [2] |
| 3 | Markus M. Helms | [1] [2] |
| 4 | Juergen Koehl | [1] |
| 5 | Kirk D. Lamb | [2] |
| 6 | Manfred Loew | [2] |
| 7 | Thomas Schlipf | [1] [2] |
| 8 | Manfred H. Walz | [2] |