Advances in model checking of Extended Linear Duration Invariants

PDF(1251 KB)

Journal of Guangzhou University(Natural Science Edition) ›› 2019, Vol. 18 ›› Issue (2) : 10-16.

{{article.zuoZhe_EN}}

Author information +

History +

HeighLight

Abstract

Key words

Cite this article

EndNote

Ris (Procite)

Bibtex

Download Citations

{{article.zuoZheEn_L}}. {{article.title_en}}. {{journal.qiKanMingCheng_EN}}. 2019, 18(2): 10-16

References

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

References

Funding

RIGHTS & PERMISSIONS

PDF(1251 KB)

Accesses

Citation

Detail

Sections

Recommended

Received	Revised	Published
2019-02-08	2019-03-17	2019-04-10
Issue Date
2019-02-25

Please choose a citation manager

Content to export

HeighLight

Abstract

Key words

Cite this article

{{custom_sec.title}}

{{custom_sec.title}}

References

References

{{custom_fnGroup.title_en}}

Footnotes

{{custom_ack.title_en}}

Funding

RIGHTS & PERMISSIONS

模态框（Modal）标题

Please choose a citation manager

Content to export

HeighLight

Abstract

Key words

Cite this article

{{custom_sec.title}}

{{custom_sec.title}}

References

References

{{custom_fnGroup.title_en}}

Footnotes

{{custom_ack.title_en}}

Funding

RIGHTS & PERMISSIONS