Two methods for possibilistic linear temporal logic model checking

LI Yongming

PDF(1020 KB)
Welcome to visit Journal of Shaanxi Normal University(Natural Science Edition)!
Journal of Shaanxi Normal University(Natural Science Edition) ›› 2014, Vol. 42 ›› Issue (6) : 21-25.

Two methods for possibilistic linear temporal logic model checking

    {{javascript:window.custom_author_en_index=0;}}
  • {{article.zuoZhe_EN}}
Author information +
History +

HeighLight

{{article.keyPoints_en}}

Abstract

{{article.zhaiyao_en}}

Key words

Cite this article

EndNote

Ris (Procite)

Bibtex

Download Citations
{{article.zuoZheEn_L}}. {{article.title_en}}. {{journal.qiKanMingCheng_EN}}. 2014, 42(6): 21-25

References

Publishing order | Descend order by publishing year | Descend order by cited within

References

{{article.reference}}

Funding

RIGHTS & PERMISSIONS

{{article.copyrightStatement_en}}
{{article.copyrightLicense_en}}
PDF(1020 KB)

Accesses

Citation

Detail
Sections
Recommended
Copyright © Journal of Shaanxi Normal University(Natural Science Edition)
Address: No.1000 Taoyuan Avenue, Yu Bei District, Chongqing　Post Code:401120
Tel: 029-81530883，81530879，81530885　　E-mail: lkxuebao@snnu.edu.cn
Powered by Beijing Magtech Co. Ltd.

/

〈 〉