Login / Signup
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)