Authors: Boley, N van der Veen, A Muller, A Recknagel, A Steffen, B Golze, M

Citation: N. Boley et al., Interlinkages and recognition of proficiency-testing schemes, ACCRED Q A, 6(4-5), 2001, pp. 205-207

Authors: Selber, K Nellen, F Steffen, B Thommes, J Kula, MR

Citation: K. Selber et al., Investigation of mathematical methods for efficient optimisation of aqueous two-phase extraction, J CHROMAT B, 743(1-2), 2000, pp. 21-30

Authors: Knoop, J Steffen, B

Citation: J. Knoop et B. Steffen, Code motion for explicitly parallel programs, ACM SIGPL N, 34(8), 1999, pp. 13-24

Authors: Siegers, CP Steffen, B Robke, A Pentz, R

Citation: Cp. Siegers et al., The effects of garlic preparations against human tumor cell proliferation, PHYTOMED, 6(1), 1999, pp. 7-11

Authors: Burkart, O Steffen, B

Citation: O. Burkart et B. Steffen, Model checking the full modal mu-calculus for infinite sequential processes, THEOR COMP, 221(1-2), 1999, pp. 251-270