Study on leak location technology for buried gas pipeline | IEEE Conference Publication | IEEE Xplore