Thomas Buechner

Publication Activity (10 Years)

Years Active: 1997-1999
Publications (10 Years): 0

Publications

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 J. Res. Dev. 43 (5) (1999)
Thomas Schlipf, Thomas Buechner, Rolf Fritz, Markus M. Helms, Juergen Koehl
Formal verification made easy. IBM J. Res. Dev. 41 (4&5) (1997)