Wilbert H. F. J. Körver

Publication Activity (10 Years)

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

Publications

Wilbert H. F. J. Körver
A discrete formalization of switch-level circuit behavior. Integr. 20 (2) (1996)
J. P. Geschiere, Wilbert H. F. J. Körver
A Practical Development Process for Parallel Large-Scale Applications and its Underlying Formal Framework. Comput. J. 39 (5) (1996)
Wilbert H. F. J. Körver, J. P. Geschiere
On Potential Software Support for a Three-Phase Development Process for Parallel Large-Scale Applications. UK Parallel (1996)
Wilbert H. F. J. Körver
A universal formalization of the effects of threshold voltages for discrete switch-level circuit models. Great Lakes Symposium on VLSI (1995)
J. P. Geschiere, Wilbert H. F. J. Körver
A Formal Framework for Defining and Developing Parallel Large-Scale Applications. PARCO (1995)