Yanchun Li, Xiaojuan Li, Yong Guan, Rui Wang 0024, Jie Zhang, Hongxing Wei. 基于xMAS模型的SpaceWire信誉逻辑的形式化验证 (xMAS-based Formal Verification of SpaceWire Credit Logic). 计算机科学, 43(2):113-117, 2016. [doi]
@article{LiLG0ZW18, title = {基于xMAS模型的SpaceWire信誉逻辑的形式化验证 (xMAS-based Formal Verification of SpaceWire Credit Logic)}, author = {Yanchun Li and Xiaojuan Li and Yong Guan and Rui Wang 0024 and Jie Zhang and Hongxing Wei}, year = {2016}, url = {http://www.jsjkx.com/EN/10.11896/j.issn.1002-137X.2016.02.026}, researchr = {https://researchr.org/publication/LiLG0ZW18}, cites = {0}, citedby = {0}, journal = {计算机科学}, volume = {43}, number = {2}, pages = {113-117}, }