Publication

A syntactic commutativity format for SOS Article

M.R. Mousavi, M.A. Reniers (Michel) and J.F. Groote (Jan Friso)

XML security in the next generation optical disc context In Proceedings

G.G. Nair, A. Gopalakrishnan, S. Mauw (Sjouke) and E. Moll

An abstract interpretation toolkit for µ CRL In Proceedings

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

Generalized innermost rewriting In Proceedings

J.C. van de Pol (Jaco) and H. Zantema (Hans)

Integrated Formal Methods - 5th International Conference, IFM 2005 Proceedings

Solving scheduling problems by untimed model checking In Proceedings

A.J. Wijs (Anton), J.C. van de Pol (Jaco) and E. Bortnik

An assertion-based proof system for multithreaded Java Article

E. Abraham (Erika), F.S. de Boer (Frank), W.P. de Roever and M. Steffen

Foundations - chapter III Book Chapter

F. Arbab (Farhad), F.S. de Boer (Frank), M.M. Bonsangue (Marcello), L.W.N. van der Torre (Leon) and not CWI et al