Publication

Towards a feature mu-calculus targeting SPL verification In Proceedings

M.H. ter Beek (Maurice), E.P. de Vink (Erik) and T.A.C. Willemse

Citizen Data Lab deelt kennis met a.s.r. - Customerfirst! - 31-03-2016 Magazine Article

Bevrijders in Ballingschap - Vijftig + in de kijker - 31-03-2016 Magazine Article

Hoe ontworstelt wetenschap zich aan de greep van de commerciële uitgevers? - Reporters Online - 31-03-2016 Magazine Article

Kwantumsoftware komt eraan - CIO IT in the Boardroom - 31-03-2016 Magazine Article

Focus op veiligheid - Linux Magazine - 31-03-2016 Magazine Article

Non-parametric indices of dependence between types for inhomogeneous multivariate random closed sets. Tech Report

M.N.M. van Lieshout (Marie-Colette)

Avalanche-to-streamer transition near hydrometeors in thunderstorms Lecture

C. Rutjes (Casper), E. Camporeale (Enrico), U. Ebert (Ute), S. Buitink (Stijn), O. Scholten (Olaf), T.N.G. Trinh (Thi Ngoc Gia) and J.A.S. Witteveen (Jeroen)