Verify LTL with Fairness Assumptions Efficiently

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) ◽

10.1109/time.2016.12 ◽

2016 ◽

Cited By ~ 1

Author(s):

Yong Li ◽

Lei Song ◽

Yuan Feng ◽

Lijun Zhang

Download Full-text