Jinjin Gao et al.: Train Resources Conflict Detection of NGTC Based on Probabilistic Timed Automata. (2021)conf/itsc/GaoLCLTL2110.1109/ITSC48978.2021.9564710Train Resources Conflict Detection of NGTC Based on Probabilistic Timed Automata.6Jinjin Gao1Jidong Lv2Ming Chai3Hongjie Liu4Tao Tang 00045Wanli Lu63951-3956ITSCITSC20212021provenance information for RDF data of dblp record 'conf/itsc/GaoLCLTL21'2021-11-03T08:38:42+0100