Centrum Wiskunde & Informatica

Interactive visualization of large state spaces Article

International Journal on Software Tools for Technology Transfer, 77-91.

J.F. Groote (Jan Friso) and F. van Ham

January 2006
Some Remarks on Definability of Process Graphs In Proceedings

C.A. Grabmayer, J.W. Klop (Jan Willem) and S.P. Luttik (Bas)

January 2006
Cones, foci: A mechanical framework for protocol verification Article

Formal Methods in System Design, 1-31.

W.J. Fokkink (Wan), J. Pang (Jun) and J.C. van de Pol (Jaco)

January 2006
Classification of eight dimensional perfect forms Tech Report

M.D. Sikiric, A. Schuermann and F. Vallentin (Frank)

January 2006
Variations on Itai-Rodeh leader election for anonymous rings and their analysis in PRISM Article

Journal of Universal Computer Science, 981-1006.

W.J. Fokkink (Wan) and J. Pang (Jun)

January 2006
Portret van een genie: Edsger Wybe Dijkstra Article

Informatie (NGI), 48(1), 38-44.

K.R. Apt (Krzysztof)

January 2006
Wiskunde is als zuurstof. Als het er is, merk je het niet. Als het er niet zou zijn, merk je dat je niet zonder kunt Book Chapter

A. Schrijver (Lex)

January 2006
Sudoku van het NS-materieel Book Chapter

A. Schrijver (Lex)

January 2006

Previous

Next