@article{周宽久:42, author = {周宽久,任龙涛,王小龙,勇嘉伟,侯刚}, title = {基于层次化时间STM软件设计的形式化验证}, publisher = {计算机科学}, year = {2014}, journal = {计算机科学}, volume = {41}, number = {8}, eid = {42}, numpages = {4}, pages = {42}, keywords = {层次化时间状态迁移矩阵,形式化验证,有界模型检测}, url = {https://www.jsjkx.com/CN/abstract/article_1759.shtml}, doi = {10.11896/j.issn.1002-137X.2014.08.008} }