Publication

Verhuisinstructie : interne verhuizing 14.09.2007 = Relocation instructions : relocation on 14.09.2007 Booklet

Postzegelmapje 362 ter ere van L. E. J. Brouwer, wiskundige Other

An abstract interpretation toolkit for $\mu$CRL Article

M.V. Espada and J.C. van de Pol (Jaco)

XForms 1.0 (Third Edition) In Proceedings

S. Pemberton (Steven) and not CWI et al

Conditions structurelles dans le contrôle modulaire des systèmes à événements discrets concurrents In Proceedings

J. Komenda and J.H. van Schuppen (Jan)

Higher entropic uncertainty relations for anti-commuting observables Tech Report

S.D.C. Wehner (Stephanie) and A. Winter

Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction In Proceedings

J.R. Calamé (Jens), N. Ioustinova (Natalia) and J.C. van de Pol (Jaco)

Stochastic realization for stochastic control with partial observations Book Chapter

J.H. van Schuppen (Jan)