Juergen Koehl

Publication Activity (10 Years)

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

Publications

Thomas Schlipf, Thomas Buechner, Rolf Fritz, Markus M. Helms, Juergen Koehl
Formal verification made easy. IBM J. Res. Dev. 41 (4&5) (1997)