Experience using formal methods in high energy physics, pt.2

por Balke, A C, Carter, J, Haveman, J
Publicado 1995

The formal development method VDM

por Lourens, W, Balke, A C, Haveman, J, Carter, J
Publicado 1994

Radiosensitivity of microscopic tumours of a transplantable mammary adenocarcinoma in mice.

por Haveman, J., Jansen, W., van der Schueren, E., Breur, K.
Publicado 1981

Status report: embedded architectures for second-level triggering (EAST)

por Vermeulen, J C, Constantin, F, Gheorghe, A, Dénes, E, Ódor, G, Böck, R K, Carter, J, Krischer, Werner, McLaren, R A, Legrand, I, Renner-Hansen, J, Fisher, St, Middleton, R, Wickens, F J, Belosludtsev, B, Dörsing, V, Reinsch, A, Zuhlke, H U, Cetnar, K, Hajduk, Z, Iwanski, W, Korcyl, K, Malecki, P, Sobala, A, Nobrega, R, Green, B J, Medcalf, T, Strong, J, Wildish, A, Hughes-Jones, R E, Klefenz, F, Kugel, A, Männer, R, Noffz, K H, Zoz, R, Badier, J, Busson, P, Bitzan, P, Novák, M, Levinson, L, Sisi, M, Balke, C, Haveman, J, Lourens, W, Taal, A, Gensch, Ulrich, Leich, H, Schwendicke, U, Wegner, P
Publicado 1993

Evaluation of PET and laparoscopy in STagIng advanced gastric cancer: a multicenter prospective study (PLASTIC-study)

por Brenkman, H. J. F., Gertsen, E. C., Vegt, E., van Hillegersberg, R., van Berge Henegouwen, M. I., Gisbertz, S. S., Luyer, M. D. P., Nieuwenhuijzen, G. A. P., van Lanschot, J. J. B., Lagarde, S. M., de Steur, W. O., Hartgrink, H. H., Stoot, J. H. M. B., Hulsewe, K. W. E., Spillenaar Bilgen, E. J., van Det, M. J., Kouwenhoven, E. A., van der Peet, D. L., Daams, F., van Sandick, J. W., van Grieken, N. C. T., Heisterkamp, J., van Etten, B., Haveman, J. W., Pierie, J. P., Jonker, F., Thijssen, A. Y., Belt, E. J. T., van Duijvendijk, P., Wassenaar, E., van Laarhoven, H. W. M., Wessels, F. J., Haj Mohammad, N., van Stel, H. F., Frederix, G. W. J., Siersema, P. D., Ruurda, J. P.
Publicado 2018