Automatic Verification Method for Virtual Circuits Based on Chinese Semantic Learning | IEEE Conference Publication | IEEE Xplore