Towards automated bounded model checking of API implementations by Neville, D, Malton, A, Brain, M, Kroening, D

Tracking studies of the Compact Linear Collider collimation system by I. Agapov, H. Burkhardt, D. Schulte, A. Latina, G. A. Blair, S. Malton, J. Resta-López

Get full text

Beam Profile Measurements and Simulations of the PETRA Laser-Wire by Carter, J, Agapov, I, Blair, G, Boorman, G, Driouichi, C, Poirier, F, Price, M, Kamps, T, Balewski, K, Lewin, H, Schreiber, S, Wittenburg, K, Delerue, N, Howell, D, Boogert, S, Malton, S