Development of radar antennas for the detection of voids behind tunnel liner and laboratory experiments | IEEE Conference Publication | IEEE Xplore