A divide & conquer approach to liveness model checking under fairness & anti-fairness assumptions

{{article.zuoZheEn}}

PDF(626 KB)
PDF(626 KB)
Front. Comput. Sci. ›› 2019, Vol. 13 ›› Issue (1) : 51-72. DOI: 10.1007/s11704-017-7036-2
RESEARCH ARTICLE

A divide & conquer approach to liveness model checking under fairness & anti-fairness assumptions

  • {{article.zuoZheEn}}
Author information +
History +

Highlights

{{article.highlightEn}}

Abstract

{{article.abstractEn}}

Author summary

{{article.authorSummayEn}}

Keywords

Cite this article

EndNote

Ris (Procite)

Bibtex

Download citation ▾
{{article.zuoZheEn_L}}. {{article.titleEn}}. Front. Comput. Sci., 2019, 13(1): 51‒72 https://doi.org/10.1007/s11704-017-7036-2

References

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

References

{{article.reference}}

RIGHTS & PERMISSIONS

{{article.copyright.year}} {{article.copyright.holder}}
PDF(626 KB)

Accesses

Citations

Detail
Sections
Recommended

/

〈 〉