Publication

An Algorithm to Verify Formulas by means of (O,S,=)-BDDs In Proceedings

B. Badban (Bahareh) and J.C. van de Pol (Jaco)

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)