TY - CHAP A1 - Hiller, Benjamin A1 - Hayn, Christine A1 - Heitsch, Holger A1 - Henrion, René A1 - Leövey, Hernan A1 - Möller, Andris A1 - Römisch, Werner T1 - Methods for verifying booked capacities T2 - Evaluating gas network capacities Y1 - 2015 SP - 291 EP - 315 PB - Society for Industrial and Applied Mathematics ER -