Interactive concistency in quasi-asynchronous systems / André Postma, Thijs KrolScientific report 1991-1995 / coord. en red.: Thijs Krol ; m.m.v. M.J. van Sinderen ... [et al.]Optimized self-synchronizing Byzantine agreement protocols / A. Postma, T. Krol and E. MolenkampGenerating a CDFG from C/C++ code / M.A.J. Rosien, G.J.M. Smit, T. KrolGenerating a CDFG from C/C++ code / M.A.J. Rosien, G.J.M. Smit, T. Krol