Xiaohong Chen, Qianqian Liu, Frédéric Mallet, Qin Li 0002, Shubin Cai, Zhi Jin. Formally verifying consistency of sequence diagrams for safety critical systems. Science of Computer Programming, 216:102777, 2022. [doi]
@article{ChenLMLCJ22,
title = {Formally verifying consistency of sequence diagrams for safety critical systems},
author = {Xiaohong Chen and Qianqian Liu and Frédéric Mallet and Qin Li 0002 and Shubin Cai and Zhi Jin},
year = {2022},
doi = {10.1016/j.scico.2022.102777},
url = {https://doi.org/10.1016/j.scico.2022.102777},
researchr = {https://researchr.org/publication/ChenLMLCJ22},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {216},
pages = {102777},
}