Cornelis Pronk (Selection)

Kees Pronk

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

12 Ella E. Roubtsova, Jan van Katwijk, W. J. Toetenel, Cornelis Pronk, Ruud C. M. de Rooij: Specification of Real-Time Systems in UML. Electr. Notes Theor. Comput. Sci. 39(3): (2000)

8 B. Noorduin, Jan van Katwijk, Cornelis Pronk: Gnass: a Gnat-based allocation and scheduling system. RTCSA 1996: 278-285

2 Nico Plat, Jan van Katwijk, Kees Pronk: A Case for Structured Analysis/Formal Design. VDM Europe (1) 1991: 81-105

1 Nico Plat, Ronald Huijsman, Jan van Katwijk, Gertjan van Oosten, Kees Pronk, Hans Toetenel: Type Checking BSI/VDM-SL. VDM Europe 1990: 399-425

Selection of 4 from 15 records - Cornelis Pronk has 17 coauthors

12		Ella E. Roubtsova, Jan van Katwijk, W. J. Toetenel, Cornelis Pronk, Ruud C. M. de Rooij: Specification of Real-Time Systems in UML. Electr. Notes Theor. Comput. Sci. 39(3): (2000)
8		B. Noorduin, Jan van Katwijk, Cornelis Pronk: Gnass: a Gnat-based allocation and scheduling system. RTCSA 1996: 278-285
2		Nico Plat, Jan van Katwijk, Kees Pronk: A Case for Structured Analysis/Formal Design. VDM Europe (1) 1991: 81-105
1		Nico Plat, Ronald Huijsman, Jan van Katwijk, Gertjan van Oosten, Kees Pronk, Hans Toetenel: Type Checking BSI/VDM-SL. VDM Europe 1990: 399-425