基于SPIN的G语言系统模型的验证 (Verification of G Language System Model Based on SPIN) - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Yan Xue, Shuhong Wu, Yaoli Wang. 基于SPIN的G语言系统模型的验证 (Verification of G Language System Model Based on SPIN). 计算机科学, 45(6A):536-540, 2018. [doi]

@article{XueWW18,
  title = {基于SPIN的G语言系统模型的验证 (Verification of G Language System Model Based on SPIN)},
  author = {Yan Xue and Shuhong Wu and Yaoli Wang},
  year = {2018},
  url = {http://www.jsjkx.com/EN/Y2018/V45/I6A/536},
  researchr = {https://researchr.org/publication/XueWW18},
  cites = {0},
  citedby = {0},
  journal = {计算机科学},
  volume = {45},
  number = {6A},
  pages = {536-540},
}

runs on WebDSL