Jürgen Frößl

Publication Activity (10 Years)

Years Active: 1990-2002
Publications (10 Years): 0

Publications

Jürgen Frößl
Synthese großer Schaltungen. MBMV (2002)
Jürgen Frößl, Thomas Kropf, Joachim Gerlach
An Efficient Algorithm for Real-Time Symbolic Model Checking. ED&TC (1996)
Jürgen Frößl, Thomas Kropf
Verifying real-time properties of MOS-transistor circuits. ED&TC (1995)
Jürgen Frößl, Thomas Kropf
A New Model to Uniformly Represent the Function and Timing of MOS Circuits and its Application to VHDL Simulation. EDAC-ETC-EUROASIC (1994)
Thomas Kropf, Jürgen Frößl, W. Beller, T. Giesler
A hardware implementation of a modified DES-algorithm. Microprocessing and Microprogramming 30 (1-5) (1990)