Kees Middelburg

Publication Activity (10 Years)

Years Active: 1988-2008
Publications (10 Years): 0

Publications

Jan A. Bergstra, Kees Middelburg
Thread extraction for polyadic instruction sequences CoRR (2008)
Kees Middelburg
Process Algebra with Nonstandard Timing. Fundam. Informaticae 53 (1) (2002)
Wiet Bouma, Willem J. M. Levelt, Alfo Melisse, Kees Middelburg, Louis Verhaard
Formalisation of Properties for Feature Interaction Detection: Experience in a Real-Life Situation. IS&N (1994)
Kees Middelburg
The VIP VDM Specification Language. VDM Europe (1988)