Yilong Yang 0001, Quan Zu, Wei Ke, Miaomiao Zhang, Xiaoshan Li. Real-Time System Modeling and Verification Through Labeled Transition System Analyzer. IEEE Access, 7:26314-26323, 2019. [doi]
@article{YangZKZL19,
title = {Real-Time System Modeling and Verification Through Labeled Transition System Analyzer},
author = {Yilong Yang 0001 and Quan Zu and Wei Ke and Miaomiao Zhang and Xiaoshan Li},
year = {2019},
doi = {10.1109/ACCESS.2019.2899761},
url = {https://doi.org/10.1109/ACCESS.2019.2899761},
researchr = {https://researchr.org/publication/YangZKZL19},
cites = {0},
citedby = {0},
journal = {IEEE Access},
volume = {7},
pages = {26314-26323},
}