Real-time detection technology of synchronous grouting for shield tunnel and analysis of grouting effect | IEEE Conference Publication | IEEE Xplore