%0 Conference Paper %1 conf/sigsoft/DongZXCCMLP23 %A Dong, Yibo %A Zhang, Xiaoyu %A Xu, Yicong %A Cai, Chang %A Chen, Yu %A Miao, Weikai %A Li, Jianwen %A Pu, Geguang %B ESEC/SIGSOFT FSE %D 2023 %E Chandra, Satish %E Blincoe, Kelly %E Tonella, Paolo %I ACM %K dblp %P 1914-1925 %T LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems. %U http://dblp.uni-trier.de/db/conf/sigsoft/fse2023.html#DongZXCCMLP23

@inproceedings{conf/sigsoft/DongZXCCMLP23, added-at = {2024-05-31T00:00:00.000+0200}, author = {Dong, Yibo and Zhang, Xiaoyu and Xu, Yicong and Cai, Chang and Chen, Yu and Miao, Weikai and Li, Jianwen and Pu, Geguang}, biburl = {https://www.bibsonomy.org/bibtex/2791d6459c6764730681c93b9c2f3d41f/dblp}, booktitle = {ESEC/SIGSOFT FSE}, crossref = {conf/sigsoft/2023}, editor = {Chandra, Satish and Blincoe, Kelly and Tonella, Paolo}, ee = {https://doi.org/10.1145/3611643.3613874}, interhash = {00d752aa98ecaebce4a28cb3708f2362}, intrahash = {791d6459c6764730681c93b9c2f3d41f}, keywords = {dblp}, pages = {1914-1925}, publisher = {ACM}, timestamp = {2024-06-03T07:25:02.000+0200}, title = {LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems.}, url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2023.html#DongZXCCMLP23}, year = 2023 }