加权迁移系统线性时间属性及其安全性检测

林运国

Linear time properties of weighted transition system and checking of safety property

LIN Yunguo

计算机应用 . 2014, (5): 1413 -1417 . DOI: 10.11772/j.issn.1001-9081.2014.05.1413