%0 Conference Paper %1 conf/compsac/LiSLCLS23 %A Li, Tengfei %A Sun, Junfeng %A Lv, Xinjun %A Chen, Xiang %A Liu, Jing %A Sun, Haiying %B COMPSAC %D 2023 %E Shahriar, Hossain %E Teranishi, Yuuichi %E Cuzzocrea, Alfredo %E Sharmin, Moushumi %E Towey, Dave %E Majumder, A. K. M. Jahangir Alam %E Kashiwazaki, Hiroki %E Yang, Ji-Jiang %E Takemoto, Michiharu %E Sakib, Nazmus %E Banno, Ryohei %E Ahamed, Sheikh Iqbal %I IEEE %K dblp %P 1804-1809 %T Enhancing the Formal Verification of Train Control Systems based on Decomposition. %U http://dblp.uni-trier.de/db/conf/compsac/compsac2023.html#LiSLCLS23 %@ 979-8-3503-2697-0

@inproceedings{conf/compsac/LiSLCLS23, added-at = {2023-08-07T00:00:00.000+0200}, author = {Li, Tengfei and Sun, Junfeng and Lv, Xinjun and Chen, Xiang and Liu, Jing and Sun, Haiying}, biburl = {https://www.bibsonomy.org/bibtex/2a36e8652d07244a53485206f30e09d4d/dblp}, booktitle = {COMPSAC}, crossref = {conf/compsac/2023}, editor = {Shahriar, Hossain and Teranishi, Yuuichi and Cuzzocrea, Alfredo and Sharmin, Moushumi and Towey, Dave and Majumder, A. K. M. Jahangir Alam and Kashiwazaki, Hiroki and Yang, Ji-Jiang and Takemoto, Michiharu and Sakib, Nazmus and Banno, Ryohei and Ahamed, Sheikh Iqbal}, ee = {https://doi.org/10.1109/COMPSAC57700.2023.00279}, interhash = {9a424726c84a803b1a02d54e0b8986d2}, intrahash = {a36e8652d07244a53485206f30e09d4d}, isbn = {979-8-3503-2697-0}, keywords = {dblp}, pages = {1804-1809}, publisher = {IEEE}, timestamp = {2024-04-09T16:54:21.000+0200}, title = {Enhancing the Formal Verification of Train Control Systems based on Decomposition.}, url = {http://dblp.uni-trier.de/db/conf/compsac/compsac2023.html#LiSLCLS23}, year = 2023 }