Jürgen Bohn

Publication Activity (10 Years)

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

University of Oldenburg, Germany (PHD)

Education History

University of Oldenburg, Germany

PHD

Publications

Tom Bienmüller, Jürgen Bohn, Henning Brinkmann, Udo Brockmeyer, Werner Damm, Hardi Hungar, Peter Jansen
Verification of Automotive Control Units. Correct System Design (1999)
Jürgen Bohn, Werner Damm, Orna Grumberg, Hardi Hungar, Karen Laster
First-Order-CTL Model Checking. FSTTCS (1998)
Jürgen Bohn, Wil Janssen
A Strategic Approach to Transformational Design. FME (1996)
Jürgen Bohn, Stephan Rössig
On Automatic and Interactive Design of Communication Systems. TACAS (1995)