| |
| 1993 | ||
|---|---|---|
| 5 | Gert J. Veltink: The PSF Toolkit. Computer Networks and ISDN Systems 25(7): 875-898 (1993) | |
| 1991 | ||
| 4 | Sjouke Mauw, Gert J. Veltink: A Proof Assistant for PSF. CAV 1991: 158-168 | |
| 3 | Gert J. Veltink: XP, an Experiment in Modular Specification. FORTE 1991: 149-164 | |
| 1989 | ||
| 2 | Jos C. M. Baeten, Jan A. Bergstra, Sjouke Mauw, Gert J. Veltink: A Process Specification Formalism Based on Static COLD. Algebraic Methods 1989: 303-335 | |
| 1 | Sjouke Mauw, Gert J. Veltink: An Introduction to PSFd. TAPSOFT, Vol.2 1989: 272-285 | |
| 1 | Jos C. M. Baeten | [2] |
| 2 | Jan A. Bergstra | [2] |
| 3 | Sjouke Mauw | [1] [2] [4] |