Convergent asymptotic expansions of Charlier, Laguerre and Jacobi polynomials Book Chapter

J.L. López and N.M. Temme (Nico)

Modal abstractions in $ \mu $ CRL In Proceedings

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

Verifying a sliding window protocol in muCRL In Proceedings

W.J. Fokkink (Wan), J.F. Groote (Jan Friso), J. Pang (Jun), B. Badban (Bahareh) and J.C. van de Pol (Jaco)

Formal Methods for Components and Objects - Pragmatic aspects and applications Proceedings

A fully abstract semantics for UML Components In Proceedings

F.S. de Boer (Frank), M.M. Bonsangue (Marcello), M. Steffen and E. Abraham (Erika)

Buffer management problems Article

L. Epstein (Lea) and R. van Stee (Rob)

Kosmische Zündfunken Article

M. Füllekrug (Martin) and U. Ebert (Ute)

New years card 2004 Other